clpfd

There are 13 repositories under clpfd topic.

rahul1947/Logic-Programming
Logic Programming using Prolog.
Language:Prolog4 2 03
fstiehle/owl_inspector
GUI to visualize SWI CLP(FD) programs
Language:JavaScript2 3 191
arminnh/ma1-constraint-logic-programming
Puzzle solving with ECLiPse CLP and Constraint Handling Rules
Language:Prolog1 2 52
hagary/logic-based-agent
A logic-based AI agent.
Language:Java1 3 00
yangxvlin/math-puzzle-ai
COMP30020 - Declarative Programming - 2019S2 - Project2
Language:Prolog1 2 0
carwash/parse_sudoku
DCG predicates for parsing line-formatted sudoku puzzles into a 9×9 list of lists.
Language:Prolog0 2 00
hagary/compensation-system
A reservation system for uni classes, modelled as a CSP and implemented using clpfd.
Language:Java0 4 230
horrorschau105/fuzuli
Desktop application for easier generating fuzuli-puzzle
Language:Python0 1 00
plazajan/Orthogonal-Latin-Squares-CLP-FD
A program in GNU Prolog with Constraint Logic Programming over finite arithmetical domain to find orthogonal Latin squares of a given size.
Language:Prolog0 1 00
xavierdever/extension-lgt-pl-clp
Support for Logtalk, Prolog and CLP-FD
Language:TypeScript0 1 00
baioc/wolkenkratzer
CLPFD for the Skyscrapers Puzzle
Language:Prolog3 0
Educorreia932/FEUP-PLOG
🔡 MIEIC 2020/2021 - 3ʳᵈ year / 1ˢᵗ semester
Language:Prolog2 0
jayai2014/comp30020_comp90048_proj2_2017
COMP30020/COMP80048 Declarative Programming Project 2 2017
Language:Prolog1 1