Re: C++ libraries pertaining to SAT

On Jul 13, 4:31 pm, tc...@xxxxxxxxxxxxx wrote:
In article <1f29794a-b9a4-461d-94e5-9b1c5a54e...@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,

<cplxp...@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 likehttp://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


Yeah, that's about what I'm looking for...but all the sections that
have what I want are under construction (particularly the Tools
section).

Thanks though.

-Phil

.