The horn++ library download

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 >

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

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free

Rate This Project

User Reviews

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

Additional Project Details

Intended Audience

Developers, Science/Research

Programming Language

C++

Related Categories

C++ Artificial Intelligence Software

Registered

2006-11-13

Similar Business Software

Maple Calculator

Maple Calculator is a free powerful math solver and versatile math learning tool that gives you answers, 2D and 3D graphs, and even step-by-step solutions! Whether you are doing simple calculations or working on university-level math problems, Maple Calculator can do it all. Enter handwritten...

See Software
Wordtune

While everyone talks about generative AI and how it will change writing, most AI tools are prompt-based and take away the writer's control. Wordtune is different. It's an AI tool that helps writers become more creative by providing them with suggestions tailored to their own writing style....

See Software
Parasoft

Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting embedded and enterprise markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and...

See Software
Adobe PDF Library SDK

Developers rely on Datalogics to provide the most comprehensive PDF SDKs in the industry. We are SOC 2 Type 2 certified. Global OEMs, SaaS and enterprise end-users rely on Adobe PDF Library to automate the creation, editing and management of PDFs. An Adobe partner, our SDK uses the same...

See Software
Google Compute Engine

Compute Engine is Google's infrastructure as a service (IaaS) platform for organizations to create and run cloud-based virtual machines. Computing infrastructure in predefined or custom machine sizes to accelerate your cloud transformation. General purpose (E2, N1, N2, N2D) machines provide a...

See Software
Copilot Audio Expressions

Copilot Audio Expression is an experimental feature within Microsoft’s Copilot Labs that transforms written text into expressive, natural-sounding voiceovers. Users can type or paste a script and choose between Emotive Mode, which allows them to select specific voice styles like Oak or...

See Software