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 | |||
| clasp-3.0.5-x86_64-linux.tar.gz | 2014-05-19 | 1.1 MB | |
| clasp-3.0.5-x86-linux.tar.gz | 2014-05-19 | 1.0 MB | |
| clasp-3.0.5-source.tar.gz | 2014-05-19 | 484.9 kB | |
| README | 2014-05-19 | 584 Bytes | |
| clasp-3.0.5-st-macos-10.9.tar.gz | 2014-05-19 | 460.7 kB | |
| clasp-3.0.5-win32.zip | 2014-05-19 | 462.4 kB | |
| clasp-3.0.5-win64.zip | 2014-05-19 | 522.3 kB | |
| Totals: 7 Items | 4.0 MB | 0 | |
clasp 3.0.5: Monday, 19th May 2014 * added support for ThreadTime::getTime() on MacOS X * removed pointless "--del-init" option from config tweety * fixed: non-hcf components not always correctly added in incremental disjunctive programs (clingo) * fixed: empty soft clauses not correctly handled in MaxSAT frontend * fixed: unfounded sets from 2nd level test not always correctly handled * fixed: json output must not print NaN * fixed: asp options not correctly set on configuration update (from clingo) * fixed: regression in handling of (incremental) projection