The Kissat SAT Solver
https://github.com/arminbiere/kissat
Kissat is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation.
- Sources inherited from project science
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout home:redwil:15.6/kissat && cd $_ - Create Badge
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| fix32-bit.patch | 0000000480 480 Bytes | |
| kissat-4.0.2.tar.gz | 0000531941 519 KB | |
| kissat.changes | 0000000172 172 Bytes | |
| kissat.spec | 0000002683 2.62 KB |
Comments 0