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.1-x86_64-linux.tar.gz | 2014-02-21 | 1.1 MB | |
| clasp-3.0.1-x86-linux.tar.gz | 2014-02-21 | 999.9 kB | |
| clasp-3.0.1-win64.tar.gz | 2014-02-21 | 517.4 kB | |
| clasp-3.0.1-win32.tar.gz | 2014-02-21 | 458.6 kB | |
| clasp-3.0.1-source.tar.gz | 2014-02-21 | 468.2 kB | |
| README | 2014-02-21 | 603 Bytes | |
| Totals: 6 Items | 3.5 MB | 0 | |
clasp 3.0.1: Friday, 21th February 2014
* added support for disabling "--opt-bound" via "--opt-bound=no"
* added support for passing on/off values for option flags on config update
* fixed: multiple occurrences of literal with negative weight not correctly merged
(see also: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=739628)
* fixed: negative literals not correctly formatted in PB output
* fixed: excess bounds in "--opt-bound" not correctly handled
* fixed: negatable otions like "[no]-init-moms" not recognized
* fixed libprogram_opts: string to long long conversion fails