Download Latest Version
clingo-4.5.4-source.tar.gz (1.7 MB)
Get an email when there's a new version of Potassco
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| README | 2011-08-23 | 1.3 kB | |
| clasp-2.0.3-source.tar.gz | 2011-08-23 | 367.4 kB | |
| clasp-2.0.3-st-win32.tar.gz | 2011-08-23 | 341.1 kB | |
| clasp-2.0.3-st-x86-linux.tar.gz | 2011-08-23 | 804.3 kB | |
| 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.3: Tuesday, 23rd August 2011
* added option "--enum-mode" for setting enumeration algorithm and
deprecated superseded options "--solution-recording", "--brave", and "cautious"
* made "--enum-mode=record" the default for optimization
* added default portfolio settable via "--portfolio=default"
* added support for arithmetic restarts
* moved "--opt-heuristic" to "Search Options" to allow for different settings in portfolios
* fixed: clasp crashes with --pre (issue 3393095)
* fixed: value given via "--opt-val" not checked against initial inconsistency
* fixed: command line options not applied to portfolio configurations
* fixed: parallel enumeration of models did not always respect "--number"
* fixed: possible deadlock in parallel hierarchical optimization
* fixed: failed to always propagate literals enqueued by PostPropagator::isModel()
* fixed: possible crash bug because ReasonStore32::value_type did not decode stored data