There are 2 repositories under constraint-satisfaction topic.
A Robust Inverse Kinematics Library
Successive Convexification with Continuous-Time Constraint Satisfaction
(WIP) Optimizing bin packing constraint solver for Elixir
Solve Sudoku with Python using the CSF approach
Proof of concept
Experiments in building a constraint workbench.
Bio-ModelChecker: Using Bounded Constraint Satisfaction to Seamlessly Integrate Observed Behavior with Prior Knowledge of Biological Networks
Search, Knowledge, Uncertainty, Optimization, Learning, Neural Networks and Language.
Encoding Vesicle Traffic System in Z3 and CBMC
Efficient propagating sudoku solver
Algorithms on the Box Wrapping Problem
an artificial intelligence project to solve the N-queen constraint satisfaction problem
Example of algorithms used to solve distributed constraint problems
Constraints solving (sequencing, priority) as a command line tool. Type your constraints in simple plain text. Generation of Graphviz compatible documents that can be rendered as a diagram!
This is a puzzle solver created from scratch by myself, with the purpose of practice and fun. If you are looking for a solver for the puzzle below or interested in how the solver was formulated, this page is for you! Disclaimer: I did not create the puzzle.
Constraint-solver to solve the problem of Field Missions-UAV-Pilot Scheduling
Implementation of a generalized Constraint Satisfaction Problem, alongside a backtracking solver with MAC, min-remaining-value, and least-constraining-value heuristics. Applied to map coloring, the N-Queens Problem, and Circuit Board design. Also an implementation of a min-conflicts local search that is ideal for the N-Queens.
An automated system which checks holidays requested by employees, against a set of constraints and automatically approves/rejects and suggests alternative dates
A solver for the n-queens problem.
Learning the basics of modern AI
a recurrent neural network of bistable perception
A rule checker command line tool. Reads YAML, written in Java. Checks sets of rules for completeness, overlap, and constraint satisfaction