Tópico · sat-solver
sat-solver
Repositórios de código aberto acompanhados marcados com sat-solver, ordenados por estrelas.
Repositórios
3
Total de estrelas
2.224
Média de estrelas
741
Participação
0,00%
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de sat-solver no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com sat-solver.
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
CreuSAT - Um resolvedor SAT formalmente verificado, escrito em Rust e verificado com Creusot.
★ 698+2Variação de estrelas nos últimos 7 dias - #3
Simple Theorem Prover, um resolvedor SMT eficiente para vetores de bits, ponto flutuante e matrizes.
★ 588+1Variação de estrelas nos últimos 7 dias
