The horn++ library allows you to solve logical
expressions in C++. The expressions must be
transformed to horn clauses, which can be written
as C++ expressions. The solver uses backtracking
to find a solution for the logical problem.
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.
