constraint-satisfaction
There are 2 repositories under constraint-satisfaction topic.
- Language:JavaScript 354
- Language:C++ 263
- Language:Scala 92
- Language:Swift 80
EGjoni / Everything-Will-Be-IK
A Robust Inverse Kinematics Library
Language:HTML 42- Language:Java 13
purnanandelango / ct-scvx
Successive Convexification with Continuous-Time Constraint Satisfaction
Language:MATLAB 7- Language:Python 5
chassisframework / bin_packer
(WIP) Optimizing bin packing constraint solver for Elixir
Language:Elixir 4- Language:Scala 4
mahdavipanah / SudokuPyCSF
Solve Sudoku with Python using the CSF approach
Language:Python 4jmjrawlings / MiniZinc.Net
MiniZinc ↔ .NET
Language:C# 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 2arey0pushpa / pyZ3
Encoding Vesicle Traffic System in Z3 and CBMC
Language:TeX 1Fuco1 / sudoku-cpp
Efficient propagating sudoku solver
Language:C++ 1- Language:TypeScript 1
lluisalemanypuig / 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 1Pieter-Cawood / Distributed-constraint-satisfaction
Example of algorithms used to solve distributed constraint problems
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 1sgreben / rc
A rule checker library for Java. Checks sets of rules for completeness, overlap, and constraint satisfaction.
Language:Java 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 1anirudh2312 / artificial-intelligence
Constraint-solver to solve the problem of Field Missions-UAV-Pilot Scheduling
Language:Python 0Naharul98 / Automated-Leave-Management-System
An automated system which checks holidays requested by employees, against a set of constraints and automatically approves/rejects and suggests alternative dates
Language:PHP 0Regan-Koopmans / n-queens
A solver for the n-queens problem.
Language:Rust 0VadimPopov / ud-artificial-intelligence
Learning the basics of modern AI
hidden-markov-modeldepth-first-searchbreadth-first-searcha-star-algorithmconstraint-satisfactionconstraint-propagationplanning-domain-definition-languageartificial-intelligencealpha-beta-pruningiterative-deepening-searchrecurrent-neural-networksconvolutional-neural-networkstensorflowkerastext-generationtime-series-predictionspeech-recognitionencoder-decoder-modelmachine-translationfacial-keypoints-cnnLanguage:Jupyter Notebook 0BennyDubz / Constraint_Satisfaction
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.
Language:Python- Language:Jupyter Notebook
- Language:Scheme
- Language:Python
qihongl / demo-necker-cube
a recurrent neural network of bistable perception
Language:Jupyter NotebookA rule checker command line tool. Reads YAML, written in Java. Checks sets of rules for completeness, overlap, and constraint satisfaction
Language:Java
