JarCasting
JarCasting JarCasting

Choco

choco-solver

 org.choco-solver : choco-solver

Open-source constraint solver.

Last Version: 4.10.8

Release Date:

choco-parsers

 org.choco-solver : choco-parsers

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

Last Version: 4.10.8

Release Date:

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:
org.smarthomej.addons.bundles

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:

choco-sat

 org.choco-solver : choco-sat

A SAT solver, used internally in choco-solver

Last Version: 4.10.6

Release Date:

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:

lwjgfont

 net.chocolapod : lwjgfont

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

Last Version: 1.1

Release Date:

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:

JaCoMo Choco-solver solver

 nl.svenkonings.jacomo : jacomo-chocosolver

JaCoMo solver implementation using Choco-solver.

Last Version: 0.1-RC4

Release Date:

OpenTSDB SDK for Java

 com.github.chocoboxxf : opentsdb-sdk-java

Last Version: 0.2.0

Release Date:

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:

com.github.chocolatecw:excelvalidate

 com.github.chocolatecw : excelvalidate

基于poi，excel导入验证工具

Last Version: 1.0.0

Release Date:

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:

chocolib

 com.chocodev : chocolib

Android widget library

Last Version: 1.0.3

Release Date:

choco

 org.choco-solver : choco

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

Last Version: 4.10.8

Release Date:
org.choco-solver

A cpviz extension for Choco3

 org.choco-solver : choco-cpviz

A cp-viz extension for Choco 3.

Last Version: 3.3.0

Release Date:
org.choco-solver

Geost constraint, developed for Choco3

 org.choco-solver : choco-geost

Geost constraint, developped for Choco3.

Last Version: 4.0.5

Release Date:
org.choco-solver

A graph module for Choco Solver

 org.choco-solver : choco-graph

A graph module for Choco Solver.

Last Version: 4.2.2

Release Date:
org.choco-solver

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:

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:
org.choco-solver

cutoffseq

 org.choco-solver : cutoffseq

Cutoff sequence generator.

Last Version: 1.0.6

Release Date:

examples

 org.choco-solver : examples

Choco-solver in practice

Last Version: 4.10.8

Release Date:
org.choco-solver

pf4cs

 org.choco-solver : pf4cs

Problem facade for constraint solvers.

Last Version: 1.0.5

Release Date:

  • 1