NewYour coding agent can read the release notes before it upgrades.Set up the MCP server →

PackageTrack. Know what changed before it breaks something.

About Terms of Service Privacy Policy

crates.io · #3893 most downloaded on crates.io

varisat-dimacs

0.2.27.7M downloads/mojix/varisat ↗New releases in your daily digest, changelog included.

DIMCAS CNF parser and writer for the Varisat SAT solver

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

Release timeline

2 releases since 2019

20192020202120222023202420252026

Releases

0.2.29 Sept 2020
Replace unmaintained failure library with anyhow and thiserror
Upgrade dependencies

Replace unmaintained failure library with anyhow and thiserror

Address all clippy warnings
Open source →
0.2.118 May 20192 sources agree
Improved API for constructing formulas ( #54 and #55 )
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)

From the same repository

jix/varisat

varisat-formulacrates.ioBasic formula data types used by the Varisat SAT solver
varisat-internal-proofcrates.ioInternal proof format for the Varisat SAT solver
varisat-internal-macroscrates.ioInternal macros for the Varisat SAT solver
varisatcrates.ioA CDCL based SAT solver (library)
varisat-checkercrates.ioProof checker for proofs generate by the Varisat SAT solver

20192026

One column per quarter.

Open source →

Additional notes

Varisat 0.2.1 Latest

Latest

Compare

Choose a tag to compare

Open source →

Your coding agent can read these notes before it upgrades. Set up the MCP server →