Skip to content

clasp version 3.2.1

Choose a tag to compare

View all tags
@BenKaufmann BenKaufmann released this 13 Oct 13:45
· 479 commits to master since this release
3.2.1
a256ecf
  • added support for adding variables from theory propagator
  • fixed output of "--pre" wrt to externals in incremental setting
  • fixed regression in projective enumeration in incremental setting
  • fixed regression in handling of minimize statements containing only zero-weighted literals
  • fixed possible invalid access to empty input vector in ClaspAppBase::run()
  • added workaround to fix emcc code-gen bug
  • fixed type mismatch and warnings when compiled with x64 and _DEBUG
  • fixed compilation problems on MacOS and ARM
Assets 7
Loading