#

constraint-logic-programming

Here are 4 public repositories matching this topic...

ratioSolver / oRatio

oRatio is an Integrated Logic and Constraint based solver

constraint-programming logic-programming automated-planning constraint-logic-programming timeline-based-planning

Updated Sep 26, 2025
C++

ratioSolver / PyRatio

Python API for the oRatio solver

python constraint-programming logic-programming automated-planning constraint-logic-programming timeline-based-planning

Updated Jun 19, 2023
C++

ratioSolver / RiDDLe

Rational Domain Definition Language (RiDDLe)

programming-language constraint-programming logic-programming constraint-logic-programming

Updated Oct 7, 2025
C++

pjritee / pl_search_cpp

A C++ module that uses Prolog ideas for search and constraint programming

cplusplus prolog constraint-programming backtracking-search constraint-logic-programming

Updated Mar 20, 2025
C++

Improve this page

Add a description, image, and links to the constraint-logic-programming topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the constraint-logic-programming topic, visit your repo's landing page and select "manage topics."