msoos/cryptominisat

Um SAT solver avançado

↗ Abrir no GitHub

Estrelas

940

Bifurcações

204

Linguagem

C++

Licença

NOASSERTION

Último push

há 4 horas

C++cryptography proof verification cnf sat-solver xor cdcl-algorithm dpll

Ainda não há intel relacionado

Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.