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.

Project Activity

See All Activity >

Categories

Artificial Intelligence

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow The horn++ library

The horn++ library Web Site

Other Useful Business Software
APIs for the next generation of business text messaging Icon
APIs for the next generation of business text messaging

For companies that need a reliable messaging API provider

Get your customers’ messages where they need to go with 99%+ deliverability. Telgorithm’s API automates A2P compliance & message management for faster, easier, & more reliable messaging, enabling you to offer the best service to your customers.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

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

Additional Project Details

Intended Audience

Science/Research, Developers

Programming Language

C++

Related Categories

C++ Artificial Intelligence Software

Registered

2006-11-13
Report inappropriate content