-
Updated
Jul 31, 2021 - Java
#
constraint-satisfaction-problem
Here are 256 public repositories matching this topic...
AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
java
optimization
scheduling
solver
constraint-satisfaction-problem
artificial-intelligence
constraints
vehicle-routing-problem
constraint-programming
traveling-salesman
local-search
simulated-annealing
constraint-solver
tabu-search
branch-and-bound
metaheuristics
rostering
employee-rostering
traveling-salesman-problem
mathematical-optimization
VIP cheatsheets for Stanford's CS 221 Artificial Intelligence
data-science
constraint-satisfaction-problem
artificial-intelligence
cheatsheet
a-star
markov-decision-processes
bayesian-networks
-
Updated
Dec 17, 2019
gophersat, a SAT solver in Go
constraint-satisfaction-problem
artificial-intelligence
constraints
boolean-formulas
sat-solver
pseudo-boolean-solver
-
Updated
Jul 1, 2021 - Go
Constraint Solving Problem resolver for Python
-
Updated
Jun 19, 2020 - Python
zayenz
commented
Nov 18, 2020
As mentioned in MiniZinc/MiniZincIDE#125, adding the -s option to fzn-gecode overrides -mode gist which is surprising.
The best would probably be to make it possible for Gist to also output statistics, but making sure that -mode gist will actually start Gist is enough to solve this bug.
Source Code for the Book Classic Computer Science Problems in Swift
swift
computer-science
neural-network
graph-algorithms
book
constraint-satisfaction-problem
k-means
genetic-algorithms
search-algorithms
manning
-
Updated
Oct 26, 2020 - Swift
An Open Source .Net Constraint Programming Solver
c-sharp
constraint-satisfaction-problem
f-sharp
constraint-programming
constraint-solver
optimisation
-
Updated
Jun 11, 2021 - C#
A Constraint Satisfaction Problem Solver in Pure Swift
swift
eight-queen-problem
constraint-satisfaction-problem
constraint-satisfaction
map-coloring
eight-queens-puzzle
-
Updated
Aug 10, 2020 - Swift
random stuff in prolog
-
Updated
Dec 26, 2018 - Prolog
AI project for 3D Path Planning. Other details and running instructions can be found on the Readme.md file
motion
collision-detection
constraint-satisfaction-problem
rrt
path-planning
artificial-intelligence
constraints
rrt-star
satisfaction
artificial-intelligence-algorithms
reeds-shepp-planner
planning-algorithms
3d-pathfinding
spline-fit
node-prune
dubins
spline-interpolation
rapidly-exploring-random-tree
dubins-rrt
3d-path-planning
-
Updated
Dec 7, 2018 - Python
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
cpp
constraint-satisfaction-problem
timetable
sat-solver
timetable-builder
timetable-generator
sat
satisfiability
custom-constraints
maxsat
timetabler
iit-hyderabad
iith
maxsat-solver
open-wbo
-
Updated
Sep 29, 2019 - C++
DDO a generic and efficient framework for MDD-based optimization.
rust
dynamic
generic
constraint-satisfaction-problem
cargo
constraint-programming
relaxation
operations-research
solvers
decision-diagrams
ddo
discrete-optimization
mdd
optimization-problem
constraint-optimisation-problem
efficient-framework
-
Updated
May 17, 2021 - Rust
IIIT Allahabad B. Tech. (IT) 5th Semester Artificial Intelligence Lab Assignments + HackerRank Artificial Intelligence Track
python
statistics
machine-learning-algorithms
constraint-satisfaction-problem
hackerrank
artificial-intelligence
backtracking
iiit
iiit-allahabad
a-star-algorithm
allahabad
-
Updated
Aug 15, 2018 - Python
Factor numbers using a quantum computer
-
Updated
May 21, 2021 - Python
General meta-Heuristic Optimization Solving Toolkit
library
framework
toolkit
optimization
solver
constraint-satisfaction-problem
constraints
constraint-programming
cost-function-network
-
Updated
Jul 9, 2021 - C++
Determine a schedule for running a set of jobs.
-
Updated
Mar 17, 2021 - Python
Using a quantum computer to cluster data points
-
Updated
May 21, 2021 - Python
Python constraint programming library
-
Updated
Jul 30, 2021 - Python
A List of all the Artificial Intelligence Assignment
reinforcement-learning
genetic-algorithm
astar-algorithm
q-learning
constraint-satisfaction-problem
ant-colony-optimization
breadth-first-search
alpha-beta-pruning
depth-first-search
memetic-algorithms
minimax-algorithm
n-puzzle
ida-star-algorithm
sarsa-learning
-
Updated
Dec 23, 2020 - Python
Find possible failing components on a circuit.
-
Updated
May 21, 2021 - Python
A demo of a nurse scheduling model
-
Updated
Jun 12, 2021 - Python
Solve a Sudoku puzzle with a quantum computer
-
Updated
May 21, 2021 - Python
Implementation of knapsack problem, set up for scaling to large problem size
-
Updated
Jul 30, 2021 - Python
Constraint Satisfaction Problem Solver for Golang
go
golang
csp
solver
constraint-satisfaction-problem
constraint-programming
heuristic
solvers
arc-consistency
-
Updated
Mar 23, 2021 - Go
Split a graph into two groups
-
Updated
May 25, 2021 - Python
A repository of multiple projects and labs done in the Udacity Artificial Intelligence Nanodegree (aind).
udacity
constraint-satisfaction-problem
planning
sudoku
recognizer
simulated-annealing
aind
game-playing-agent
udacity-artificial-intelligence
-
Updated
May 14, 2017 - Jupyter Notebook
Solving sudoku puzzle using backtracking and AC-3
-
Updated
Jul 15, 2017 - Python
Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)
csp
board
puzzle
solver
constraint-satisfaction-problem
artificial-intelligence
constraints
backtracking
forward-checking
csp-solver
kenken
arc-consistency
aima-book
minimum-remaining-values
-
Updated
Mar 25, 2019 - Python
A Python tool to solve logic games with AI, Deep Learning and Computer Vision
computer-vision
deep-learning
constraint-satisfaction-problem
artificial-intelligence
sudoku
logic-games
-
Updated
Jan 30, 2021 - Python
Improve this page
Add a description, image, and links to the constraint-satisfaction-problem topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the constraint-satisfaction-problem topic, visit your repo's landing page and select "manage topics."
It would be nice if Choco were able to support MiniZinc output format.