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 >

Follow The horn++ library

The horn++ library Web Site

Other Useful Business Software

The Sight of Sound The Sight of Sound Icon
The Sight of Sound Icon

­ Improve VoIP Visibility from SIP to RTP

Cloudbased voice solutions are common in enterprise networks and frustrating for operations teams to manage. Simplify VoIP monitoring by having a proactive analysis of on-prem, hybrid and UCaaS voice services. Try the ThousandEyes VoIP monitoring solution today, free.

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++

Registered

2006-11-13