Pinned Repositories
choco-geost
The geost constraint for Choco3
choco-graph
Module to manipulate graph variables
choco-gui
a GUI for Choco3 (wip)
choco-parsers
Parsers to Choco3
choco-sat
choco-solver
An open-source Java library for Constraint Programming
chocoteam.github.io
Choco website
pychoco
samples
Choco-solver in practice
website
Store Hugo's content and other source file of Choco-solver website.
chocoteam's Repositories
chocoteam/choco-solver
An open-source Java library for Constraint Programming
chocoteam/pychoco
chocoteam/choco-graph
Module to manipulate graph variables
chocoteam/samples
Choco-solver in practice
chocoteam/choco-parsers
Parsers to Choco3
chocoteam/choco-geost
The geost constraint for Choco3
chocoteam/choco-sat
chocoteam/choco-gui
a GUI for Choco3 (wip)
chocoteam/choco-ide
Projet Agile Mines 2015
chocoteam/chocoteam.github.io
Choco website
chocoteam/choco-allen
Filtering algorithms for Allen's relations
chocoteam/choco-solver-capi
chocoteam/choco-tuto
A tutorial for choco-solver
chocoteam/notebooks
Notebooks about Choco usages
chocoteam/PerformanceAction
chocoteam/choco-cpviz
An extension of Choco3 to deal with cpviz librairie
chocoteam/choco-report
A Web Application that reports Choco performance over a set of problems.
chocoteam/cutoffseq
Cutoff Sequence generator
chocoteam/pf4cs
Problem facade for constraint solver
chocoteam/website
Store Hugo's content and other source file of Choco-solver website.
chocoteam/benchmarks
This repository stores Flatzinc and XCSP3 instances that participate to performances evaluation.
chocoteam/cpp-integration
chocoteam/michoco
A minimalist version of Choco-solver, reduced to `IntVar` and few constraints.