SATLIB - Solvers

Please help us to maintain a collection of state-of-the-art SAT solvers by submitting new algorithms and pointing out those we might have missed.

DISCLAIMER OF WARRANTY. The software hosted on this page is research work provided by various people (as indicated above). The software is provided "as is" without warranty of any kind and without any support services
© hh, last update 00/12/27.