PrototypeCommune
shnarazk/splr
A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat
- Propriétaire
- shnarazk (compte personnel)
- Étoiles
- Étoiles : 116
- Forks
- Forks : 8
- Langage
- Rust
- Licence
- Aucune
- Création
- 2018
- Sujets
- sat-solverrustcdclsatisfiabilitynix-flake
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Rust
Tous les dépôts Rust- parisxmas/fastrouteÉtoiles : 116RustPrototype
- uditya-kumar/MultiPathÉtoiles : 116RustPrototype
- QuixiAI/QuixiDeskÉtoiles : 116RustPrototype
- rust3ds/ctru-rs-oldÉtoiles : 116RustPrototype
- gifnksm/power-assert-rsÉtoiles : 116RustPrototype
- kejadlen/giphy.alfredworkflowÉtoiles : 116RustPrototype