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
MiniZinc ↔ .NET
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
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
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.
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