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.2
Name Modified Size InfoDownloads / Week
Parent folder
clasp-3.0.2-p1-win64.zip 2014-03-19 521.5 kB
0
clasp-3.0.2-p1-win32.zip 2014-03-19 464.1 kB
0
clasp-3.0.2-p1-x86_64-linux.tar.gz 2014-03-19 1.1 MB
0
clasp-3.0.2-p1-x86-linux.tar.gz 2014-03-19 1.0 MB
0
clasp-3.0.2-p1-source.tar.gz 2014-03-19 481.4 kB
0
README 2014-03-19 1.0 kB
0
Totals: 6 Items   3.6 MB 0 
clasp 3.0.2-p1: Wednesday, 19th March 2014
  * fixed regression in projective enumeration

clasp 3.0.2: Monday, 17th March 2014
  * added ClaspFacade::startSolveAsync() for enumerating models in an iterator-like fashion
  * added "--forget-on-step" for simulating iclingo's "--ilearnt" and "--iheuristic"
  * added "--dom-mod=6" for simulating hclasp's subset minimization
  * fixed: DefaultUnfoundedCheck sometimes fails with assertion in incremental setting
  * fixed: wcnf frontend fails if top weight >= 2^31
  * fixed: unit cores not always correctly handled in unsatisfiable-core based optimization
  * fixed: negative lower bound not correctly handled in hierarchical optimization
  * fixed: projection not correctly handled in incremental setting
  * fixed: clasp sometimes reports bogus timing values when interrupted via Ctrl-C on Windows
  * fixed: lookahead fails on non-asp problems if combined with option "--nant"
  * fixed: wrong/missing models because of incorrect backpropagation with option "--backprop"
Source: README, updated 2014-03-19