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.
Follow The horn++ library
Rate This ProjectLogin To Rate This Project
Be the first to post a review of The horn++ library!