The horn++ library


Add a Review
1 Download (This Week)
Last Update:
Download hornpp_0_2.tgz
Browse All Files


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.

The horn++ library Web Site

Update Notifications

Write a Review

User Reviews

Be the first to post a review of The horn++ library!

Additional Project Details

Intended Audience

Developers, Science/Research

Programming Language



Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.