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.6
Name Modified Size InfoDownloads / Week
Parent folder
clasp-2.0.6-st-x86_64-linux.tar.gz 2012-04-03 885.7 kB
0
README 2012-04-03 946 Bytes
0
clasp-2.0.6-st-x86-linux.tar.gz 2012-04-03 814.5 kB
0
clasp-2.0.6-st-win64.tar.gz 2012-04-03 414.3 kB
0
clasp-2.0.6-st-win32.tar.gz 2012-04-03 348.7 kB
0
clasp-2.0.6-source.tar.gz 2012-04-03 381.1 kB
0
Totals: 6 Items   2.8 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.6: Tuesday, 3rd April 2012
  * added better error detection to portfolio parser and fixed a bug
    in the initialization of thread configs
  * first attempt at decoupling learnt db growing from restart schedule using 
    independent grow schedule configurable via (hidden) option "--dgrowS"
  * added "--update-lbd=2" to enable usage of "strict" lbds
  * added (experimental) support for counter implication restarts and dynamic restarts
    via hidden options
  * fixed bugs in code for shared clause integration that could led to unpleasant
    results ranging from duplicate/missing models in enumeration to crashing if
    option "--otfs" was used
Source: README, updated 2012-04-03