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 / 2.0.4
Name Modified Size InfoDownloads / Week
Parent folder
clasp-2.0.4-source.tar.gz 2011-11-29 372.1 kB
0
clasp-2.0.4-st-x86-linux.tar.gz 2011-11-29 808.8 kB
0
README 2011-11-29 1.1 kB
0
clasp-2.0.4-st-win32.tar.gz 2011-11-29 341.3 kB
0
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.4: Tuesday, 29th November 2011
  * some cleanup in help output
    - moved general ASP-specific options to separate group
    - moved "--opt-sat" to basic options
    - simplified default command-line and made "input-dependent" defaults more explicit
  * updated interface spec of ProgramBuilder to make it more robust w.r.t incremental update
  * fixed parsing of "--global-restarts"
  * fixed: default value for option "--rand-watches" was not applied
  * fixed: Enumerator did not broadcast last model/optimum of current GP in parallel search
  * fixed: clauses simplified to binary/ternary are no longer counted twice in stats
  * fixed: eq-preprocessor sometimes did not reorder head list after merging two bodies
  * fixed: dimacs front-end failed to read empty dimacs file
Source: README, updated 2011-11-29