varisat
A CDCL based SAT solver (library)
0.2.2
7.5M downloads/mo
#3653 most downloaded on crates.io
jix/varisat
What this package is like to depend on
Last release 6 years ago
no release in 18 months
Release timing varies
gaps range from 2 weeks to 1.3 years
Nearly every release is documented
notes for 3 of 3 stable releases
2 versions withdrawn
withdrawn after publishing
8 years old
5 releases · first in 2018
0 releases in the last 12 months
see the full history below
Release timeline
5 releases · May 2018 to Sep 2020
2019
2020
2021
2022
2023
2024
2025
2026
Releases
latest 5-
0.2.209 Sep 2020Release notes
Open source →- Upgrade dependencies
- Replace unmaintained
failurelibrary withanyhowandthiserror - Address all clippy warnings
- Replace unmaintained
- Upgrade dependencies
-
0.2.118 May 2019Release notes
Open source →- Improved API for constructing formulas (#54 and #55)
- Fix proof generation when the formula contains duplicated unit clauses (#26)
- Configurable search parameters (#39)
- Proofs for satisfiable instances (#47)
- Proofs for incremental solving (#48)
- Reduce size of proofs in native format (#42)
- Split independent parts into individual crates with re-exports (#51)
Release notes
Open source →- Improved API for constructing formulas (#54 and #55)
- Fix proof generation when the formula contains duplicated unit clauses (#26)
- Configurable search parameters (#39)
- Proofs for satisfiable instances (#47)
- Proofs for incremental solving (#48)
- Reduce size of proofs in native format (#42)
- Split independent parts into individual crates with re-exports (#51)
-
0.2.004 May 2019Release notes
Open source → -
0.1.314 Sep 2018 withdrawnNothing published for this version
-
0.1.119 May 2018 withdrawnNothing published for this version