Skip to content

Version 1.2.1
Compare
Choose a tag to compare
@nmacedo nmacedo released this 24 Sep 09:37
· 57 commits to master since this release
v1.2.1
892ef18

Minor

  • Reverted support for integers in electrod
  • Fixed multiple synchronisation bugs when iterating under decomposed strategy
  • Fixed an assertion testing solver compatibility
  • Fixed unsat cores for trivially unsat problems
  • Fixed reporting during the temporal translation of sub-formulas (was causing unsat cores to be incomplete, #41)
  • Fixed a reporting bug in decomposed solving without iteration
  • Fixed a bug when number of configs an exact multiple of batch size in decomposed strategy
  • Pulled a missing change from NoOverflows Kodkod that was not reseting the environment
Assets 2
Loading