splr
A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat
View on Github
Activity
- Latest release
- 3w ago
- Total releases
- 32
- Cadence
- ~36 days
- Last 12 months
- 1
Reach
- Downloads
- 49.3k
- Stars
- 114
Details
- License
- MPL-2.0
- First release
- Feb 15, 2019
Releases
| Version | Released | |
|---|---|---|
0.19.0
minor
| ||
0.17.2
unknown
| ||
0.17.1
unknown
| ||
0.17.0
unknown
| ||
0.16.3
unknown
| ||
0.16.2
unknown
| ||
0.16.0
unknown
| ||
0.15.0
unknown
| ||
0.14.0
unknown
| ||
0.13.0
unknown
| ||
0.12.0
unknown
| ||
0.11.0
unknown
| ||
0.10.0
unknown
| ||
0.7.0
unknown
| ||
0.6.3
unknown
| ||
0.6.2
unknown
| ||
0.6.1
unknown
| ||
0.6.0
unknown
| ||
0.5.0
unknown
| ||
0.4.1
unknown
| ||
0.4.0
unknown
| ||
0.3.2
unknown
| ||
0.3.1
unknown
| ||
0.3.0
unknown
| ||
0.2.1
unknown
| ||
0.2.0
unknown
| ||
0.1.5
unknown
| ||
0.1.4
unknown
| ||
0.1.3
unknown
| ||
0.1.2
unknown
| ||
0.1.1
unknown
| ||
0.1.0
unknown
|