C++ libraries pertaining to SAT


Does anyone know if there are any C++ libraries available that deal
with problems such as the boolean satisfiability problem? I'm looking
for a library that would allow a programmer to test algorithms for
solving 3SAT, SAT, and TAUTOLOGY. The more general and comprehensive
the library, the better. I did a quick Google search but didn't find
much.

Thanks.

-Phil
.

Relevant Pages

  • Re: man pages for C
    ... Found with a quick google search. ... available would depend on what libraries you include." ... "The ISO C standard defines two classes of conforming ... standard including all the library facilities; a conforming freestanding ...
    (alt.os.linux)
  • Re: perlTk/inquiry
    ... I know that RH 9 has major problems running TK. ... Try a google search for more info. ... > libraries... ... and I do not knwo how to get this to ...
    (perl.beginners)
  • Re: These Are They That Follow The Lamb
    ... I've tried a google search and CPDL and no-one seems to have it. ... It is my experience that other libraries may also own copies, since some libraries do not list all choral titles in worldcat due to the costs involved. ...
    (rec.music.makers.choral)
  • Re: librender
    ... tks. ... QUick google search shows that there are many libraries called ... "librender" so I expect that you will have to be more specific ...
    (comp.os.linux.misc)
  • Re: Array and string abstraction
    ... >>I am aware of bstrings however, a quick google search hasn't revealed a simple ... Is anyone aware of an array abstraction library? ... Now if anyone could provide any links to libraries or code they have written, ...
    (comp.lang.c)