Re: C++ libraries pertaining to SAT

In article <1f29794a-b9a4-461d-94e5-9b1c5a54eb32@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
<cplxphil@xxxxxxxxx> wrote:
Does anyone know if there are any C++ libraries available that deal
with problems such as the boolean satisfiability problem?

You mean something like http://www.satlib.org ?
--
Tim Chow tchow-at-alum-dot-mit-dot-edu
The range of our projectiles---even ... the artillery---however great, will
never exceed four of those miles of which as many thousand separate us from
the center of the earth. ---Galileo, Dialogues Concerning Two New Sciences
.

Relevant Pages