Looking for the latest version? Download clingo-4.4.0-source.tar.gz (1.5 MB)
Home / clasp / 3.1.1
Name Modified Size Downloads / Week Status
Parent folder
Totals: 6 Items   3.6 MB 37
clasp-3.1.1-win32.zip 2014-11-12 454.3 kB 66 weekly downloads
clasp-3.1.1-source.tar.gz 2014-11-12 516.2 kB 99 weekly downloads
clasp-3.1.1-x86-linux.tar.gz 2014-11-12 1.0 MB 55 weekly downloads
clasp-3.1.1-x86_64-linux.tar.gz 2014-11-12 1.1 MB 77 weekly downloads
README 2014-11-12 449 Bytes 77 weekly downloads
clasp-3.1.1-win64.zip 2014-11-12 514.1 kB 33 weekly downloads
clasp 3.1.1: Wednesday, 12th November 2014 * LparseReader now handles "external statement" * fixed: low-level config interface failed to correctly handle successive changes of "opt-bound" * fixed: wrong completition nogoods with option "--no-gamma" * fixed regression in rule simplification (regression in 3.0.x) * fixed regression in "--configuration=jumpy" * fixed regression in handling of modifiers true/false in domain heuristic
Source: README, updated 2014-11-12