Tópico · cnf
cnf
Repositórios de código aberto acompanhados marcados com cnf, ordenados por estrelas.
Repositórios
2
Total de estrelas
1.528
Média de estrelas
764
Participação
0,00%
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de cnf no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com cnf.
Nenhum repositório novo marcado com este tópico nos últimos 90 dias.
- #1
Um SAT solver avançado
★ 940+0Variação de estrelas nos últimos 7 dias - #2
Simple Theorem Prover, um resolvedor SMT eficiente para vetores de bits, ponto flutuante e matrizes.
★ 588+1Variação de estrelas nos últimos 7 dias
