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.1.3
Name Modified Size InfoDownloads / Week
Parent folder
clasp-3.1.3-win64-fixed.zip 2015-08-05 518.3 kB
0
README 2015-08-01 369 Bytes
0
clasp-3.1.3-x86-linux.tar.gz 2015-08-01 1.0 MB
0
clasp-3.1.3-x86_64-linux.tar.gz 2015-08-01 1.1 MB
0
clasp-3.1.3-win32.zip 2015-08-01 471.7 kB
0
clasp-3.1.3-source.tar.gz 2015-08-01 520.3 kB
1 1 weekly downloads
Totals: 6 Items   3.7 MB 1 
clasp 3.1.3: Friday, 31th July 2015
  * fixed: possible livelock in multi-threaded enumeration of optimal models
  * fixed: parser for _heuristic atoms failed to handle atoms containing strings
  * fixed: over-satisfied PB constraints not always handled correctly
  * fixed: incorrect handling of aux vars in Solver::numWatches()
  * fixed: C++11 isnan issue on Mac
Source: README, updated 2015-08-01