Indexed Artifacts (28.1M)

Popular Categories

Artifacts using Choco Solver (24)

Sort: popular | newest
Implementation of the VM scheduler that use the Constraint Programming solver CHOCO to compute solutions.
Last Release on Apr 15, 2022
Implementation of the VM scheduler that use the Constraint Programming solver CHOCO to compute solutions.
Last Release on Apr 15, 2022
SCROLL
Last Release on Nov 18, 2021
coffee4j is a framework that integrates combinatorial test generation and automated test execution via JUnit5
Last Release on May 8, 2022
A graph module for Choco Solver.
Last Release on Mar 5, 2018
SCROLL
Last Release on Nov 18, 2021
Provide parsers from FlatZinc, XCSP3 and MSP to Choco-solver.
Last Release on Jan 10, 2022
coffee4j is a framework that integrates combinatorial test generation and automated test execution via JUnit5
Last Release on May 8, 2022
Constraint Programming for Clojure
Last Release on Nov 15, 2015
Universal interface to decision procedures, constraint solvers, model counters, and related tools
Last Release on Jul 12, 2019