varisat-formula
Basic formula data types used by the Varisat SAT solver
0.2.2
7.5M downloads/mo
#3641 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
Too new to tell
only 2 dated releases
Nearly every release is documented
notes for 2 of 2 stable releases
Nothing withdrawn
no release was ever pulled
7 years old
2 releases · first in 2019
0 releases in the last 12 months
see the full history below
Release timeline
2 releases · May 2019 to Sep 2020
2020
2021
2022
2023
2024
2025
2026
Releases
latest 2-
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)