Choco

choco-solver

org.choco-solver : choco-solver

Open-source constraint solver.

Last Version: 4.10.8

Release Date: Jan 10, 2022

choco-parsers

org.choco-solver : choco-parsers

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

Last Version: 4.10.8

Release Date: Jan 10, 2022

scheduler-choco

org.btrplace : scheduler-choco

Implementation of the VM scheduler that use the Constraint Programming solver CHOCO to compute solutions.

Last Version: 1.12.5

Release Date: Jun 23, 2022

SmartHome/J Add-ons :: Bundles :: Amazon Echo Control Binding

org.smarthomej.addons.bundles : org.smarthomej.binding.amazonechocontrol

This project contains the add-ons of SmartHome/J

Last Version: 3.2.12

Release Date: Apr 2, 2022

choco-sat

org.choco-solver : choco-sat

A SAT solver, used internally in choco-solver

Last Version: 4.10.6

Release Date: Dec 11, 2020

JSR331 Choco

com.javasolver : jsr331-choco

This is a JSR331 interface for the open source Java constraint programming library "Choco" v. 2.1.5

Last Version: 2.2.0

Release Date: Dec 18, 2021

lwjgfont

net.chocolapod : lwjgfont

LWJGL 3rd party library to use any font as texture.

Last Version: 1.1

Release Date: Mar 1, 2014

io.gitlab.chaver:chocotools

io.gitlab.chaver : chocotools

A set of tools to facilitate constraint programming with Choco solver

Last Version: 1.1.0

Release Date: Apr 15, 2022

JaCoMo Choco-solver solver

nl.svenkonings.jacomo : jacomo-chocosolver

JaCoMo solver implementation using Choco-solver.

Last Version: 0.1-RC4

Release Date: Dec 19, 2021

OpenTSDB SDK for Java

com.github.chocoboxxf : opentsdb-sdk-java

Last Version: 0.2.0

Release Date: Jul 17, 2019

com.github.chocolatecw:OSSRH-61155

com.github.chocolatecw : OSSRH-61155

The test uploads the jar to the maven central repository

Last Version: 0.0.1

Release Date: Oct 6, 2020

com.github.chocolatecw:excelvalidate

com.github.chocolatecw : excelvalidate

基于poi，excel导入验证工具

Last Version: 1.0.0

Release Date: Oct 7, 2020

syat-choco

com.github.gwr3n : syat-choco

syāt is a suite of declarative modelling tools for statistical analysis. Global constraints and modeling tools covered in this library have been originally introduced in Rossi et al., "Declarative Statistics", 2017 (https://arxiv.org/abs/1708.01829).

Last Version: 1.0.0

Release Date: Jan 8, 2018

chocolib

com.chocodev : chocolib

Android widget library

Last Version: 1.0.3

Release Date: Nov 12, 2016

choco

org.choco-solver : choco

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

Last Version: 4.10.8

Release Date: Jan 10, 2022

A cpviz extension for Choco3

org.choco-solver : choco-cpviz

A cp-viz extension for Choco 3.

Last Version: 3.3.0

Release Date: Dec 5, 2014

Geost constraint, developed for Choco3

org.choco-solver : choco-geost

Geost constraint, developped for Choco3.

Last Version: 4.0.5

Release Date: Oct 6, 2017

A graph module for Choco Solver

org.choco-solver : choco-graph

A graph module for Choco Solver.

Last Version: 4.2.2

Release Date: Mar 5, 2018

A GUI for Choco3

org.choco-solver : choco-gui

A Graphical User Interface to plug on Choco 3.

Last Version: 3.3.0

Release Date: Dec 5, 2014

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.

Last Version: 3.3.3-j7

Release Date: Dec 22, 2015

cutoffseq

org.choco-solver : cutoffseq

Cutoff sequence generator.

Last Version: 1.0.6

Release Date: Aug 27, 2020

examples

org.choco-solver : examples

Choco-solver in practice

Last Version: 4.10.8

Release Date: Jan 10, 2022

pf4cs

org.choco-solver : pf4cs

Problem facade for constraint solvers.

Last Version: 1.0.5

Release Date: Jan 20, 2017