Home » org.choco-solver » choco-solver » Usages

Artifacts using Choco Solver (34)
Sort by:Popular▼

1. Matheclipse Core10 usages

org.matheclipse » matheclipse-coreLGPL

The Symja core module
Last Release on Nov 11, 2023

2. Scheduler Choco8 usages

org.btrplace » scheduler-chocoLGPL

Implementation of the VM scheduler that use the Constraint Programming solver CHOCO to compute solutions.
Last Release on May 5, 2025

3. Bigraph Framework Simulation4 usages

org.bigraphs.framework » bigraph-simulationApacheLGPL

The simulation module provides bigraph matching and rewriting capabilities for implementing bigraphical reactive systems. It includes a model checker and an algorithm for canonical string encoding of bigraphs.
Last Release on Nov 16, 2025

4. Coffee4j Engine3 usages

de.rwth.swc.coffee4j » coffee4j-engineEPL

coffee4j is a framework that integrates combinatorial test generation and automated test execution via JUnit5
Last Release on May 8, 2022

5. Coffee4j Anvil Engine3 usages

de.rub.nds.tls » coffee4j-anvil-engineEPL

coffee4j is a framework that integrates combinatorial test generation and automated test execution via JUnit5
Last Release on May 22, 2025

6. Choco Parsers2 usages

org.choco-solver » choco-parsersBSD

Provide parsers from FlatZinc, XCSP3 and MSP to Choco-solver.
Last Release on Jan 27, 2025

7. IDL Parser2 usages

es.us.isa » idl-chocoGPL

A domain-specific language for the specification of APIs inter-parameter dependencies compatible with ChocoSolver
Last Release on Apr 5, 2023

8. SCROLL2 usages

com.github.max-leuthaeuser » scrollLGPL

SCROLL
Last Release on Jul 28, 2025

9. Chocotools2 usages

io.gitlab.chaver » chocotoolsMIT

A set of tools to facilitate constraint programming with Choco solver
Last Release on Sep 23, 2022

10. IDLReasoner1 usages

es.us.isa » idl-reasonerGPL

A Choco-based Java library for analyzing IDL specifications
Last Release on Apr 6, 2023