GitHub / sarsko / CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sarsko%2FCreuSAT
PURL: pkg:github/sarsko/CreuSAT

Stars: 637
Forks: 12
Open issues: 7

License: mit
Language: Rust
Size: 169 MB
Dependencies parsed at: Pending

Created at: almost 4 years ago
Updated at: 3 months ago
Pushed at: 3 months ago
Last synced at: 3 months ago

Topics: automated-reasoning, deductive-reasoning, formal-methods, formal-verification, minisat, proof, rust, rust-lang, sat, sat-solver, satisfiability, verification

Loading...