#

constraint-logic-programming

Here are 3 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 Jan 27, 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 Feb 4, 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."