Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
claspD-1.1.2-x86-linux.tar.gz | 2012-06-03 | 683.4 kB | |
claspD-1.1.2-x86_64-darwin10.tar.gz | 2012-02-15 | 203.6 kB | |
README | 2012-01-09 | 270 Bytes | |
claspD-1.1.2-win32.zip | 2012-01-09 | 383.8 kB | |
claspD-1.1.2.tar.gz | 2012-01-09 | 132.2 kB | |
Totals: 5 Items | 1.4 MB | 0 |
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