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 / 2.1.1
Name Modified Size InfoDownloads / Week
Parent folder
clasp-2.1.1-x86_64-macosx.tar.gz 2012-12-03 575.6 kB
0
README 2012-12-03 757 Bytes
0
clasp-2.1.1-source.tar.gz 2012-11-22 396.4 kB
0
clasp-2.1.1-st-win64.tar.gz 2012-11-22 424.6 kB
0
clasp-2.1.1-st-x86_64-linux.tar.gz 2012-11-22 1.2 MB
0
clasp-2.1.1-win32.tar.gz 2012-11-22 417.9 kB
0
clasp-2.1.1-x86-linux.tar.gz 2012-11-22 1.1 MB
0
Totals: 7 Items   4.1 MB 0 
NOTE Linux: 
  The supplied multi-thread binaries are statically linked against the
  Intel(R) Threading Building Blocks library (version 4.0), which
  is freely available at: http://threadingbuildingblocks.org/

NOTE Mac OS X:
  The supplied binary is dynamically linked against the 
  Intel(R) Threading Building Blocks library (version 4.1)
  located in the archive under Contents/Frameworks/
  
clasp 2.1.1: Thursday, 22th November 2012
  * fixed regression: MaxSAT-frontend must not assert pure literals / relaxation variables
  * fixed: spurious warning when using option "--no-lookback"
  * fixed: "--shuffle" and "--counter-restarts" not working as intended with hierarchical optimization
  * fixed: Backslashes in JSON output not correctly quoted
Source: README, updated 2012-12-03