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.0.2
Name Modified Size InfoDownloads / Week
Parent folder
README 2011-06-30 893 Bytes
0
clasp-2.0.2-st-x86-linux.tar.gz 2011-06-30 803.1 kB
0
clasp-2.0.2-st-win32.tar.gz 2011-06-30 335.7 kB
0
clasp-2.0.2-source.tar.gz 2011-06-30 366.9 kB
0
Totals: 4 Items   1.5 MB 0 
NOTE:
  The supplied binaries are *NOT* linked against the
  Intel(R) Threading Building Blocks library and therefore
  DO NOT support parallel (multithreaded) solving. To enable
  multithread support you have to build clasp from sources.
  See README for detailed instructions.

clasp 2.0.2: Thursday, 30th June 2011
	* applied fixes from version 1.3.9
	* fixed problem in call to linker (issue 3324430)
	* fixed a bug in "otfs" which could not handle unsimplified lemmas
	* fixed a potential invalid memory access in ImplicationList::hasLearnt()
	* fixed potential underflow in output of solved guiding paths
	* fixed a problem in UnitHeuristic which failed to handle stop conflicts in parallel solving
	* fixed various exception-related issues in parallel solving and made
	  it more robust in the face of exceptions
	* re-enabled optimized unit clause handling for MaxSAT
Source: README, updated 2011-06-30