Группа библиотек: org.choco-solver

choco-solver

org.choco-solver : choco-solver

Open-source constraint solver.

Последняя версия: 4.10.8

Дата: 10 янв. 2022 г.

choco-parsers

org.choco-solver : choco-parsers

Provide parsers from FlatZinc, XCSP3 and MSP to Choco-solver.

Последняя версия: 4.10.8

Дата: 10 янв. 2022 г.

choco

org.choco-solver : choco

A Free and Open-Source library dedicated to Constraint Programming.

Последняя версия: 4.10.8

Дата: 10 янв. 2022 г.

examples

org.choco-solver : examples

Choco-solver in practice

Последняя версия: 4.10.8

Дата: 10 янв. 2022 г.

choco-sat

org.choco-solver : choco-sat

A SAT solver, used internally in choco-solver

Последняя версия: 4.10.6

Дата: 11 дек. 2020 г.

cutoffseq

org.choco-solver : cutoffseq

Cutoff sequence generator.

Последняя версия: 1.0.6

Дата: 27 авг. 2020 г.

A graph module for Choco Solver

org.choco-solver : choco-graph

A graph module for Choco Solver.

Последняя версия: 4.2.2

Дата: 5 мар. 2018 г.

Geost constraint, developed for Choco3

org.choco-solver : choco-geost

Geost constraint, developped for Choco3.

Последняя версия: 4.0.5

Дата: 6 окт. 2017 г.

pf4cs

org.choco-solver : pf4cs

Problem facade for constraint solvers.

Последняя версия: 1.0.5

Дата: 20 янв. 2017 г.

org.choco-solver:choco-samples

org.choco-solver : choco-samples

Choco is a Free and Open-Source Software dedicated to Constraint Programming. It aims at describing real combinatorial problems in the form of Constraint Satisfaction Problems and to solve them with Constraint Programming techniques.

Последняя версия: 3.3.3-j7

Дата: 22 дек. 2015 г.

A cpviz extension for Choco3

org.choco-solver : choco-cpviz

A cp-viz extension for Choco 3.

Последняя версия: 3.3.0

Дата: 5 дек. 2014 г.

A GUI for Choco3

org.choco-solver : choco-gui

A Graphical User Interface to plug on Choco 3.

Последняя версия: 3.3.0

Дата: 5 дек. 2014 г.