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
Mapping a set of random points to a uniform lattice
a recurrent neural network of bistable perception
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.
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.
Encoding Vesicle Traffic System in Z3 and CBMC
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."