constraint-satisfaction
There are 2 repositories under constraint-satisfaction topic.
- Language:JavaScript 389
- Language:C++ 313
- Language:Scala 91
- Language:Swift 82
EGjoni / Everything-Will-Be-IK
A Robust Inverse Kinematics Library
Language:HTML 43- Language:Java 18
purnanandelango / ct-scvx
Successive Convexification with Continuous-Time Constraint Satisfaction
Language:MATLAB 14chassisframework / bin_packer
(WIP) Optimizing bin packing constraint solver for Elixir
Language:Elixir 5- Language:Python 5
mahdavipanah / SudokuPyCSF
Solve Sudoku with Python using the CSF approach
Language:Python 5- Language:Scala 4
sgreben / rc
A rule checker library for Java. Checks sets of rules for completeness, overlap, and constraint satisfaction.
Language:Java 3behnaaz / constreofy
Proof of concept
Language:Java 2digitalbricklayer / workbench
Experiments in building a constraint workbench.
Language:C# 2hooman650 / BioModelChecker
Bio-ModelChecker: Using Bounded Constraint Satisfaction to Seamlessly Integrate Observed Behavior with Prior Knowledge of Biological Networks
Language:Python 2wesleey / cs50ai
Search, Knowledge, Uncertainty, Optimization, Learning, Neural Networks and Language.
a-star-searchartificial-intelligencebreadth-first-searchdepth-first-searchinformed-searchpythonsearch-algorithmuninformed-searchadversarial-searchalpha-beta-pruningdepth-limited-searchminimaxinferencepropositional-logicmarkov-chainpagerank-algorithmbayesian-networkconstraint-satisfactionoptimization-algorithmsuncertaintyLanguage:Python 2amiralv82 / Kakuro-Solver-CSP
A Kakuro puzzle solver using backtracking search with optional Least Constraining Value (LCV) heuristic. Supports multiple difficulty levels with step-by-step terminal visualization.
Language:Jupyter Notebook 1arey0pushpa / pyZ3
Encoding Vesicle Traffic System in Z3 and CBMC
Language:TeX 1Fuco1 / sudoku-cpp
Efficient propagating sudoku solver
Language:C++ 1HuangJingping / test-scheduling-system
Professional test scheduling system with dual modes: time-based and sequence-based
Language:Python 1JAChesney / clash-free-timetable-ga-v1
Generates two clash-free class schedules using a genetic algorithm with random selection, crossover, and mutation. Designed for 3 teachers over 3 days and 3 periods.
Language:Python 1- Language:TypeScript 1
kdqliedo3 / Backtracking-Sudoku-Solver
Sudoku Solver Python-based using recursion and backtracking to instantly solve Sudoku puzzles with ease.
Language:Python 1lluisalemanypuig / box-wrapping
Algorithms on the Box Wrapping Problem
Language:C++ 1ntrang086 / constraint_satisfaction_Nqueens
an artificial intelligence project to solve the N-queen constraint satisfaction problem
Language:Python 1PayThePizzo / SudokuSolver
Sudoku Solver is a repository dedicated to the development and benchmark of famous and novel approaches to solve Sudoku puzzles up to 17 clues
Language:Python 1- Language:C++ 1
ryancollingwood / RankParser
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!
Language:Python 1yuis-ice / prolog-logic-puzzle-solver
Interactive logic puzzle solver using Prolog and WebAssembly with step-by-step reasoning visualization
Language:TypeScript 1YuPeiHenry / Pyramid-Puzzle-Solver
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.
Language:Java 1alivianay / constraint-based-scheduling-neo4j
Graph-based university course scheduling system using Neo4j with constraint satisfaction (lecturer availability, room capacity, and time conflicts).
Language:CypherAnuj10110 / ai-timetable-generator
🎓 AI-Powered Timetable Generator using CSP, Graph Theory & Machine Learning | Flask Web App with Advanced Algorithms
Language:HTMLBorkedFork / cst233-programming-languages-lab5
Prolog owl puzzle constraint satisfaction - CST233 Programming Languages
Language:PrologJaloper / Sudoku-solver
Java-based Sudoku solver that uses graph-based techniques to find solutions efficiently.
Language:Javasabiqsabry / Dijkstra-Backtrack-CSP-String-Analysis
Final compliant solution: Dijkstra from scratch, backtracking CSP, transposition-invariant pattern analysis; no dict/set; interactive CLI
Language:Python
