PrototypeCommon
shnarazk/splr
A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat
- Owner
- shnarazk (personal account)
- Stars
- Stars: 116
- Forks
- Forks: 8
- Language
- Rust
- License
- None
- Created
- 2018
- Topics
- sat-solverrustcdclsatisfiabilitynix-flake
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Rust
All Rust repos- parisxmas/fastrouteStars: 116RustPrototype
- uditya-kumar/MultiPathStars: 116RustPrototype
- QuixiAI/QuixiDeskStars: 116RustPrototype
- rust3ds/ctru-rs-oldStars: 116RustPrototype
- gifnksm/power-assert-rsStars: 116RustPrototype
- kejadlen/giphy.alfredworkflowStars: 116RustPrototype