Download Latest Version clingo-4.5.4-source.tar.gz (1.7 MB)
Email in envelope

Get an email when there's a new version of Potassco

Home / clasp / 3.0.6
Name Modified Size InfoDownloads / Week
Parent folder
clasp-3.0.6-source.tar.gz 2014-07-21 485.8 kB
0
clasp-3.0.6-win32.zip 2014-07-21 463.2 kB
0
clasp-3.0.6-win64.zip 2014-07-21 523.2 kB
0
clasp-3.0.6-x86_64-linux.tar.gz 2014-07-21 1.1 MB
0
clasp-3.0.6-x86-linux.tar.gz 2014-07-21 1.0 MB
0
README 2014-07-21 694 Bytes
0
Totals: 6 Items   3.6 MB 0 
clasp 3.0.6: Monday, 21st July 2014
  * fixed: parallel unsat-core based enumeration of optimal models could skip valid models
  * fixed: possible race condition in signal handling
  * fixed: ABA-problem in parallel cb-enumerator could lead to duplicate models  (regression in 3.0.x)
  * fixed: "--share=auto" (default) failed to enable physical sharing in mt-mode (regression in 3.0.x)
  * fixed: eq over complementary atoms not always correctly handled              (regression in 3.0.x)
  * fixed: incremental domain heuristic failed to apply values to atoms from previous steps
  * fixed: eq over bodies of size 1 not always correctly handled
  * fixed: typo in description of "--quiet"
Source: README, updated 2014-07-21