Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
-
Updated
Oct 15, 2024 - Prolog
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Constraint Logic Programming over Integers
An extensible, lightweight relational/logic programming DSL written in pure Python
Constraint Logic Programming over Finite Domains
The QShell on IBM i library contains useful CL wrapper commands to allow QShell and PASE apps to be called and consumed from regular IBM i jobs via CL, RPG or COBOL programs.
This book offers a theoretical and computational presentation of a variety of linear programming algorithms and methods with an emphasis on the revised simplex method and its components. A theoretical background and mathematical formulation is included for each algorithm as well as comprehensive numerical examples and corresponding MATLAB® code.…
Boolean Constraint Solving in Prolog
Simple timetabling engine for schools
[m1ds][RCS] Heuristic for the Container Loading Problem
Low-level Cython bindings to the Clp linear programming solver
Add a description, image, and links to the clp topic page so that developers can more easily learn about it.
To associate your repository with the clp topic, visit your repo's landing page and select "manage topics."