#
clpfd
Here are 13 public repositories matching this topic...
A logic-based AI agent.
-
Updated
Nov 21, 2017 - Java
A reservation system for uni classes, modelled as a CSP and implemented using clpfd.
-
Updated
Feb 11, 2018 - Java
Puzzle solving with ECLiPse CLP and Constraint Handling Rules
university-project
constraint-programming
constraint-propagation
kuleuven
constraint-handling-rules
clpfd
-
Updated
May 5, 2018 - Prolog
GUI to visualize SWI CLP(FD) programs
-
Updated
Jul 15, 2018 - JavaScript
Logic Programming using Prolog.
lists
prolog
trace
asp
natural-numbers
swi-prolog
family-tree
swi-prolog-library
predicates
search-trees
clpfd
list-processing
cryptarithmetic
-
Updated
Jan 18, 2019 - Prolog
Support for Logtalk, Prolog and CLP-FD
-
Updated
Mar 17, 2021 - TypeScript
🔡 MIEIC 2020/2021 - 3ʳᵈ year / 1ˢᵗ semester
-
Updated
Apr 13, 2021 - Prolog
A program in GNU Prolog with Constraint Logic Programming over finite arithmetical domain to find orthogonal Latin squares of a given size.
-
Updated
Apr 24, 2023 - Prolog
Improve this page
Add a description, image, and links to the clpfd topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the clpfd topic, visit your repo's landing page and select "manage topics."