sarsko/CreuSAT

CreuSAT - Um resolvedor SAT formalmente verificado, escrito em Rust e verificado com Creusot.

↗ Abrir no GitHub

Estrelas

698

Bifurcações

14

Linguagem

Rust

Licença

MIT

Último push

há 3 semanas

Rust rust rust-lang formal-methods formal-verification proof verification sat-solver automated-reasoning deductive-reasoning minisat sat satisfiability

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.