constraint-satisfaction-problem topic
prolog-rands
random stuff in prolog
SwiftCSP
A Constraint Satisfaction Problem Solver in Pure Swift
Artificial-Intelligence-Assignments
A-List of all the Assignment done in Artificial Intelligence Course @IIIT-D
PyCSP3
A Python Library for modeling combinatorial constrained problems
Timetabler
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
centipede
Constraint Satisfaction Problem Solver for Golang
Artificial-Intelligence
IIIT Allahabad B. Tech. (IT) 5th Semester Artificial Intelligence Lab Assignments + HackerRank Artificial Intelligence Track
GHOST
General meta-Heuristic Optimization Solving Toolkit
kenken-solver
Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)
ddo
DDO a generic and efficient framework for MDD-based optimization.