A solver for the n-queens problem.
-
Updated
Oct 10, 2022 - Rust
A solver for the n-queens problem.
Learning the basics of modern AI
generates Zebra Puzzle/Einstein's Riddle
An automated system which checks holidays requested by employees, against a set of constraints and automatically approves/rejects and suggests alternative dates
a recurrent neural network of bistable perception
Mapping a set of random points to a uniform lattice
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.
Mathematical formulations for graph burning
A rule checker command line tool. Reads YAML, written in Java. Checks sets of rules for completeness, overlap, and constraint satisfaction
Constraint-solver to solve the problem of Field Missions-UAV-Pilot Scheduling
A rule checker library for Java. Checks sets of rules for completeness, overlap, and constraint satisfaction.
Encoding Vesicle Traffic System in Z3 and CBMC
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.
Algorithms on the Box Wrapping Problem
Example of algorithms used to solve distributed constraint problems
an artificial intelligence project to solve the N-queen constraint satisfaction problem
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!
a visual problem solver
Efficient propagating sudoku solver
Add a description, image, and links to the constraint-satisfaction topic page so that developers can more easily learn about it.
To associate your repository with the constraint-satisfaction topic, visit your repo's landing page and select "manage topics."