Repositories list

• choco-solver

  Public
  An open-source Java library for Constraint Programming

  cspsolverconstraint-satisfaction-problem+ 6constraintsconstraint-solvercoprconstraint-optimisation-problemjavaconstraint-programming

  Java

  •

  BSD 4-Clause "Original" or "Old" License

  •146•705•54•20•Updated Feb 21, 2025Feb 21, 2025

• pychoco

  Public
  Python

  •

  BSD 4-Clause "Original" or "Old" License

  •2•12•6•0•Updated Jan 30, 2025Jan 30, 2025

• chocoteam.github.io

  Public
  Choco website

  HTML

  •1•2•0•0•Updated Sep 23, 2024Sep 23, 2024

• website

  Public
  Store Hugo's content and other source file of Choco-solver website.

  Jupyter Notebook

  •

  GNU Lesser General Public License v3.0

  •2•0•1•2•Updated Sep 23, 2024Sep 23, 2024

• choco-solver-capi

  Public
  Java

  •1•1•0•0•Updated Sep 23, 2024Sep 23, 2024

• cpp-integration

  Public
  Java

  •2•0•0•0•Updated Jun 12, 2024Jun 12, 2024

• choco-geost

  Public
  The geost constraint for Choco3

  Java

  •

  BSD 4-Clause "Original" or "Old" License

  •2•3•0•0•Updated Jun 30, 2023Jun 30, 2023

• benchmarks

  Public
  This repository stores Flatzinc and XCSP3 instances that participate to performances evaluation.

  Python

  •0•0•0•0•Updated Jan 16, 2023Jan 16, 2023

• michoco

  Public
  A minimalist version of Choco-solver, reduced to `IntVar` and few constraints.

  Java

  •

  BSD 4-Clause "Original" or "Old" License

  •146•0•0•0•Updated Sep 28, 2022Sep 28, 2022

• PerformanceAction

  Public
  Python

  •1•1•6•0•Updated Jun 17, 2021Jun 17, 2021

• choco-graph

  Public archive
  Module to manipulate graph variables

  Java

  •

  BSD 2-Clause "Simplified" License

  •6•12•3•0•Updated Nov 26, 2020Nov 26, 2020

• cutoffseq

  Public archive
  Cutoff Sequence generator

  Java

  •

  BSD 4-Clause "Original" or "Old" License

  •1•0•0•0•Updated Aug 27, 2020Aug 27, 2020

• choco-report

  Public archive
  A Web Application that reports Choco performance over a set of problems.

  Java

  •1•0•0•1•Updated Jul 1, 2020Jul 1, 2020

• choco-parsers

  Public archive
  Parsers to Choco3

  Java

  •

  BSD 4-Clause "Original" or "Old" License

  •4•10•11•0•Updated Jul 26, 2019Jul 26, 2019

• samples

  Public archive
  Choco-solver in practice

  Java

  •

  BSD 4-Clause "Original" or "Old" License

  •6•11•2•0•Updated Jul 18, 2019Jul 18, 2019

• notebooks

  Public
  Notebooks about Choco usages

  Jupyter Notebook

  •

  BSD 3-Clause "New" or "Revised" License

  •1•1•0•0•Updated May 10, 2019May 10, 2019

• choco-tuto

  Public archive
  A tutorial for choco-solver

  BSD 3-Clause "New" or "Revised" License

  •1•1•1•0•Updated Oct 5, 2018Oct 5, 2018

• choco-cpviz

  Public
  An extension of Choco3 to deal with cpviz librairie

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •2•0•0•0•Updated Jun 12, 2018Jun 12, 2018

• choco-gui

  Public
  a GUI for Choco3 (wip)

  Java

  •

  BSD 4-Clause "Original" or "Old" License

  •5•2•0•0•Updated Mar 14, 2017Mar 14, 2017

• pf4cs

  Public archive
  Problem facade for constraint solver

  Java

  •

  BSD 4-Clause "Original" or "Old" License

  •1•0•0•0•Updated Jan 20, 2017Jan 20, 2017

• choco-ide

  Public
  Projet Agile Mines 2015

  JavaScript

  •2•2•0•0•Updated Sep 26, 2016Sep 26, 2016

• choco-allen

  Public
  Filtering algorithms for Allen's relations

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •2•1•0•0•Updated May 10, 2016May 10, 2016

• choco-sat

  Public archive
  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •3•3•0•1•Updated Mar 11, 2016Mar 11, 2016