sarsko/CreuSAT

CreuSAT - SAT solver yang diverifikasi secara formal, ditulis dalam Rust dan diverifikasi dengan Creusot.

↗ Buka di GitHub

Bintang

698

Fork

14

Bahasa

Rust

Lisensi

MIT

Push terakhir

3 minggu yang lalu

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

Belum ada intel terkait

Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.