Home » org.choco-solver » choco-solver » Used By

Choco Solver

Open-source constraint solver.

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

1.Matheclipse Core10 usages

org.matheclipse » matheclipse-core LGPL

Symja Java Symbolic Math core library.
Last Release on May 1, 2026

2.Scheduler Choco8 usages

org.btrplace » scheduler-choco LGPL

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-simulation Apache +1

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 Jun 27, 2026

4.Coffee4j Engine3 usages

de.rwth.swc.coffee4j » coffee4j-engine EPL

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-engine EPL

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

6.IDL Parser2 usages

es.us.isa » idl-choco GPL

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

7.SCROLL2 usages

com.github.max-leuthaeuser » scroll LGPL

Embedded DSL for role-oriented programming in Scala.
Last Release on May 20, 2026

8.Choco Parsers2 usages

org.choco-solver » choco-parsers BSD

Provide parsers from FlatZinc, XCSP3 and MSP to Choco-solver.
Last Release on May 22, 2026

9.Chocotools2 usages

io.gitlab.chaver » chocotools MIT

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

10.IDLReasoner1 usages

es.us.isa » idl-reasoner GPL

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