Download Latest Version clingo-4.5.4-source.tar.gz (1.7 MB) Get Updates
Home / claspD / 1.1.4
Name Modified Size InfoDownloads / Week
Parent folder
claspD-1.1.4-source.tar.gz 2012-11-30 134.3 kB
0
claspD-1.1.4-x86-linux.tar.gz 2012-11-22 727.9 kB
0
README 2012-11-22 807 Bytes
0
Totals: 3 Items   863.0 kB 0 
claspD 1.1.4: Thu November 22, 2012
 * Fixed crash bug resulting from incorrect handling of non-conflicting implications from Tester
 * Fixed crash bug resulting from wrong code in PrgBodyNode::simplifyHeads()
claspD 1.1.3: 
 * added newline after "Reading...done"
 * fixed: clause contraction failed when applied to clause containing level 0 literals
claspD 1.1.2: Mon January 9, 2012
 * changed default decision heuristic of checker from "none" to "vsids"
 * added options for setting decision heuristic, restarts, and deletion
   for checker solver
 * added option "--verbose" for reporting status of checker solver
claspD 1.1.1: Thu September 7, 2010
 * bug fixes
claspD 1.1: Fri May 9, 2008
 * partial model checking
 * partial model checking forward

claspD 1.0: Thu April 10, 2008
 * initial version
Source: README, updated 2012-11-22