The horn++ library

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

Description

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

KEEP ME UPDATED

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

C++

Registered

2006-11-13
Screenshots can attract more users to your project.
Features can attract more users to your project.