Skip to content

Version 1.7.0

Choose a tag to compare

View all tags
@marekpiotrow marekpiotrow released this 17 Feb 14:56
· 28 commits to master since this release
v1.7.0
79aac1f

Improved cooperation with the CaDiCaL SAT solver. CaDiCaL is now the default SAT solver.

Assets 2
Loading