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
SAT

Links

Last commit date

7 October 2021

Related papers

https://doi.org/10.1007/11527695_26 (SAT'04)

Last publication date

2009

Related tools

OKsolver

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.