Solve Sudoku with Python using the CSF approach

Efficient propagating sudoku solver

A design pattern detection tool based on constraint satisfaction

Learning the basics of modern AI

an artificial intelligence project to solve the N-queen constraint satisfaction problem

Constraint-solver to solve the problem of Field Missions-UAV-Pilot Scheduling

Mapping a set of random points to a uniform lattice

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.

generates Zebra Puzzle/Einstein's Riddle

Bio-ModelChecker: Using Bounded Constraint Satisfaction to Seamlessly Integrate Observed Behavior with Prior Knowledge of Biological Networks

a recurrent neural network of bistable perception

Encoding Vesicle Traffic System in Z3 and CBMC

Example of algorithms used to solve distributed constraint problems

An automated system which checks holidays requested by employees, against a set of constraints and automatically approves/rejects and suggests alternative dates

JMiniZinc

(WIP) Optimizing bin packing constraint solver for Elixir

Programming is an exercise in linguistics; spice-up Scala types with Adjective.

Algorithms on the Box Wrapping Problem

Proof of concept