Skip to content

Version 0.1.2

Compare
Choose a tag to compare
@chrjabs chrjabs released this 22 Aug 10:30
· 399 commits to main since this release

Fix CaDiCaL dependency that was broken due to force pushing in the CaDiCaL repository.
https://crates.io/crates/rustsat/0.1.2