Program
Verification
Book

PV4 ⊧ march_eqproduces a satisfiability result with equivalence reasoning and lookahead heuristics

a lookahead SAT solver

Application domain/field

SAT solving

Type of tool

SAT solver

Comments

an older version was called march_eq_100, apparently a newer one was referred to as march_dl04

Links

https://www.swmath.org/software/548
http://web.archive.org/web/20171026104656/http://www.isa.ewi.tudelft.nl/sat/march_eq.htm (original page inaccessible)
Last commit date: 7 October 2021

Related papers

March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver (SAT'04)

Last publication date

2009

Related tools

ProVerB specific

Markdown description: view/edit
Reason for this entry: used by SATzilla
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.