Projects in Awesome Lists tagged with clp
A curated list of projects in awesome lists tagged with clp .
https://github.com/ciao-lang/ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
bytecode ciao-prolog clp compiler constraints interpreter iso-prolog-standard logic logic-programming programming-language prolog prolog-compiler prolog-implementation prolog-interpreter prolog-programming-language virtual-machine
Last synced: 12 Apr 2025
https://github.com/triska/clpfd
Constraint Logic Programming over Finite Domains
clp constraint-programming constraints integer-arithmetic prolog teaching
Last synced: 20 Mar 2025
https://github.com/triska/clpz
Constraint Logic Programming over Integers
clp constraint-programming constraints integer-arithmetic prolog sicstus-prolog
Last synced: 20 Mar 2025
https://github.com/triska/clpb
Boolean Constraint Solving in Prolog
bdd clp constraint-programming constraints independent-sets matchsticks-puzzle prolog sat satisfiability
Last synced: 20 Mar 2025
https://github.com/triska/simsttab
Simple timetabling engine for schools
clp constraint-programming prolog school timetable timetabling-engine
Last synced: 20 Mar 2025
https://github.com/josephgodwinkimani/install-cloudpanel
Set of scripts designed to automate the installation and management of CloudPanel
bash-script cloudpanel clp crowdsec debian dovecot mailcow postfix spamassassin ubuntu
Last synced: 27 Apr 2025
https://github.com/vahidalizad/parse-server-schema-manager
parse-server-schema-manager is an NPM package that helps you identify and manage differences between your Parse Server database schema and your codebase schema. With this tool, you can ensure consistency, leverage schema as code, and take advantage of version control for your schema.
clp dbml parse-server schema schema-as-code
Last synced: 04 Dec 2024
https://github.com/totbwf/clphs
Constraint Logic Programming for Haskell
clp constraint-programming constraint-solver
Last synced: 15 Apr 2025
https://github.com/caballa/ftclp
FTCLP: A Failure-based Tabling Interpreter for Constraint Logic Programs based on Interpolation
clp constrained-horn-clauses interpolant verification
Last synced: 14 Apr 2025
https://github.com/richardschoen/ibmijasper
IBM i JasperReports Report Generation
as400 cl clp cmd db2 ibmi jasper jasperreports jrxml query query-builder rpg web
Last synced: 18 Apr 2025
https://github.com/giuseppeboezio/schooltimetable
Simulation of timetables creation for an italian high school
Last synced: 14 May 2025
https://github.com/pikalab-unibo-students/mas-ay2122-project-boezio
social simulation of school timetable generation process
clp constraint-programming jade multi-agent-systems
Last synced: 20 Jan 2025
https://github.com/wadaboa/prolog-utils
Some Prolog examples, exercises and utilities
clp data-structures logic-programming prolog
Last synced: 13 Mar 2025
https://github.com/giuseppeboezio/master-thesis
Master thesis of degree program in Artificial Intelligence at Unibo
clp labels logic-programming multi-agent-systems prolog
Last synced: 08 Apr 2025