Skip to content

Version 0.1.1
Compare
Choose a tag to compare
@chrjabs chrjabs released this 22 Aug 10:28
· 363 commits to main since this release
v0.1.1
386aa01

Bugfix when building without optimization features and parsing WCNF files returns an empty objective instead of failing.
https://crates.io/crates/rustsat/0.1.1

Assets 2
Loading