Skip to content

v1.0.0
Compare
Choose a tag to compare
@domschrei domschrei released this 29 Jun 09:40
· 637 commits to master since this release
v1.0.0
18a7439

First tagged release. This version is considered stable for malleable job scheduling of (non-incremental) SAT jobs. Support for incremental SAT solving is still experimental.

Assets 2
Loading