TU Delft Algorithmics
SAT @ Delft
Delft University of Technology Download page ALG Group
EWI ALG SAT @ DelftDownload page
eng
 
 
 
 
 
 
 
 
 
 
 
Latest stable version
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)
march_rw:
the SAT competitition 2011 version of march_rw.

source (81 kb)             static binary (691 kb)
restartsat:
the SAT competitition 2011 version of restart.

source (72 kb)             static binary (873 kb)
march_hi:
the SAT competitition 2009 version of march_hi.

source (81 kb)             static binary (691 kb)
march_nn:
the SAT competitition 2009 version of march_nn.

source (81 kb)             static binary (691 kb)
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)
march_dl:
version of march_dl (08-03-2005).

source (37 kb)             static binary (531 kb)
march_001: version of march (20-03-2004) which performs a 1% partial lookahead.

source (42 kb)             static binary (462 kb)
march_007: version of march (20-03-2004) which performs a 7% partial lookahead.

source (42 kb)             static binary (462 kb)
march_eq_010: version of march_eq (20-03-2004) which performs a 10% partial lookahead.

source (42 kb)             static binary (462 kb)
march_eq_100: version of march_eq (20-03-2004) which performs a full lookahead.

source (42 kb)             static binary (462 kb)
march_sp: version of march (12-02-2003) which performs a 7% partial lookahead.

source (32 kb)             static binary (429 kb)
march_tt: Version of march (12-02-2003) which performs a 10% partial lookahead.

source (32 kb)             static binary (429 kb)
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)