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.
Open source project that offer summary and download services on this page is a project that carry out their development work on other open source development sites. Their work is linked to this page via a feature called OFI, and their work is not carried out here on OSDN site.