|
| Latest stable version |
 |
|
|
|
|
march_pl:
|
version of march_pl (08-09-2007). |
|
source (79 kb)
static binary (653 kb) |
UnitMarch v1.1:
|
latest version of UnitMarch. Now includes 64-bit support and optional autarky detection.
(30-10-2007). |
|
source (16 kb)
static binary (1249 kb) |
|
|
|
| SAT 2007 submissions |
|
|
|
|
|
march_ks:
|
version of march_ks with bug fix (08-09-2007). |
|
source (77 kb)
static binary (648 kb) |
MiniMarch:
|
version 1.1 of MiniMarch which is a
bugfixed version of the one that was submitted to the SAT 2007 competition
(13-04-2007). |
|
source (153 kb)
static binary (684 kb) |
UnitMarch:
|
version of UnitMarch (07-03-2007). |
|
source (14 kb)
static binary (1290 kb) |
|
|
|
| SAT 2005 submission |
|
|
|
|
|
|
|
|
| SAT 2004 submissions |
|
|
|
|
|
|
|
|
| SAT 2003 submissions |
|
|
|
|
|
| march_xq: |
An experimental first version of
march_eq (12-02-2003) which performs a full lookahead. This versions does
not use the combined lookahead evaluation yet. march_xq is classified as buggy. |
|
source (32 kb)
static binary (433 kb) |
|
|
|
|
|
Download page
