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 / 3.0.4
Name Modified Size InfoDownloads / Week
Parent folder
clasp-3.0.4-st-macos-10.9.tar.gz 2014-04-24 455.8 kB
0
clasp-3.0.4-win64.zip 2014-04-24 521.5 kB
0
clasp-3.0.4-win32.zip 2014-04-24 426.8 kB
0
README 2014-04-24 594 Bytes
0
clasp-3.0.4-x86_64-linux.tar.gz 2014-04-24 1.1 MB
0
clasp-3.0.4-x86-linux.tar.gz 2014-04-24 1.0 MB
0
clasp-3.0.4-source.tar.gz 2014-04-24 483.9 kB
0
Totals: 7 Items   4.0 MB 0 
clasp 3.0.4: Thursday, 24th April 2014
  * replaced "s SATISFIABLE" with "s UNKNOWN" when called with option "--opt-sat"
  * improved handling of weight constraints containing incremental assumptions
  * fixed: typo in output of "--help"
  * fixed: unsatisfiable-core based optimization sometimes fails to assign all active assumptions
  * fixed: superfluous rules for facts not always correctly handled
  * fixed: assigned values for external atoms not always carried over to next step
  * fixed: clasp sometimes fails on incremental problems if "--lookahead" is used with "--forget-on-step"
Source: README, updated 2014-04-24