sarsko
CreuSAT
Rust

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

Last updated Jun 27, 2026
688
Stars
14
Forks
7
Issues
0
Stars/day
Attention Score
63
Language breakdown
Rust 99.7%
Shell 0.3%
โ–ธ Files click to expand
README
No README available.
๐Ÿ”— More in this category

ยฉ 2026 GitRepoTrend ยท sarsko/CreuSAT ยท Updated daily from GitHub