Skip to content

clasp version 3.2.3

Choose a tag to compare

View all tags
@BenKaufmann BenKaufmann released this 24 Apr 17:42
· 449 commits to master since this release
v3.2.3
e0942a4

Fixes

  • possible crash on Cygwin because of non-increasing wall clock time
  • PB constraints not correctly initialized if added on decision levels > 0
  • spurious backtracking on integrating sat clauses from theory propagator
  • regression: unsupported atoms in minimize statements not added to program
  • regression: complementary atoms not correctly handled in enum mode domRec
  • regression: model heuristic (--opt-heuristic=2) not applied
Assets 7
Loading