Skip to content

v1.1.2

Choose a tag to compare

@kevin-delmas kevin-delmas released this 16 Jul 15:37
· 35 commits to master since this release

What's Changed

  • Solving multiple adds of undirected edges during monosat problem build by @kevin-delmas in #64

Full Changelog: v1.1.1...v1.1.2