Download JAR files tagged by choco with all dependencies

choco-cpviz from group org.choco-solver (version 3.3.0)

A cp-viz extension for Choco 3.

Group: org.choco-solver Artifact: choco-cpviz
Show documentation Show source

1 downloads

Artifact choco-cpviz
Group org.choco-solver
Version 3.3.0
Last update 05. December 2014
Organization not specified
URL https://github.com/chocoteam/choco-cpviz
License BSD 3-Clause License
Dependencies amount 1
Dependencies choco-solver,
There are maybe transitive dependencies!

examples from group org.choco-solver (version 4.10.17)

Choco-solver in practice

Group: org.choco-solver Artifact: examples
Show all versions Show documentation Show source

0 downloads

Artifact examples
Group org.choco-solver
Version 4.10.17
Last update 23. September 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies choco-solver, choco-parsers, args4j,
There are maybe transitive dependencies!

choco-mining from group io.gitlab.chaver (version 1.0.2)

Data mining with Choco solver

Group: io.gitlab.chaver Artifact: choco-mining
Show documentation Show source

0 downloads

Artifact choco-mining
Group io.gitlab.chaver
Version 1.0.2
Last update 29. August 2023
Organization not specified
URL https://gitlab.com/chaver/data-mining
License MIT license
Dependencies amount 2
Dependencies choco-solver, chocotools,
There are maybe transitive dependencies!

data-mining from group io.gitlab.chaver (version 1.0.1)

Data mining with Choco solver

Group: io.gitlab.chaver Artifact: data-mining
Show all versions Show documentation Show source

0 downloads

Artifact data-mining
Group io.gitlab.chaver
Version 1.0.1
Last update 23. September 2022
Organization not specified
URL https://gitlab.com/chaver/data-mining
License MIT license
Dependencies amount 2
Dependencies choco-solver, chocotools,
There are maybe transitive dependencies!

choco-sat from group org.choco-solver (version 4.10.6)

A SAT solver, used internally in choco-solver

Group: org.choco-solver Artifact: choco-sat
Show all versions Show documentation Show source

0 downloads

Artifact choco-sat
Group org.choco-solver
Version 4.10.6
Last update 11. December 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

choco-graph from group org.choco-solver (version 4.2.2)

A graph module for Choco Solver.

Group: org.choco-solver Artifact: choco-graph
Show all versions Show documentation Show source

6 downloads

Artifact choco-graph
Group org.choco-solver
Version 4.2.2
Last update 05. March 2018
Organization not specified
URL https://github.com/chocoteam/choco-graph
License BSD 3-Clause License
Dependencies amount 1
Dependencies choco-solver,
There are maybe transitive dependencies!

jacomo-chocosolver from group nl.svenkonings.jacomo (version 0.1)

JaCoMo solver implementation using Choco-solver.

Group: nl.svenkonings.jacomo Artifact: jacomo-chocosolver
Show all versions Show documentation Show source

0 downloads

Artifact jacomo-chocosolver
Group nl.svenkonings.jacomo
Version 0.1
Last update 09. October 2022
Organization not specified
URL https://jacomo.svenkonings.nl
License Mozilla Public License Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

choco-gui from group org.choco-solver (version 3.3.0)

A Graphical User Interface to plug on Choco 3.

Group: org.choco-solver Artifact: choco-gui
Show documentation Show source

0 downloads

Artifact choco-gui
Group org.choco-solver
Version 3.3.0
Last update 05. December 2014
Organization not specified
URL https://github.com/chocoteam/choco-gui
License BSD 3-Clause License
Dependencies amount 2
Dependencies choco-solver, jfreechart,
There are maybe transitive dependencies!

choco-parsers from group org.choco-solver (version 4.10.17)

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

Group: org.choco-solver Artifact: choco-parsers
Show all versions Show documentation Show source

0 downloads

Artifact choco-parsers
Group org.choco-solver
Version 4.10.17
Last update 23. September 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 5
Dependencies choco-solver, args4j, xcsp3-tools, antlr4-runtime, antlr4,
There are maybe transitive dependencies!

idl-reasoner from group es.us.isa (version 1.0.0)

A MiniZinc-based Java library for analyzing IDL specifications

Group: es.us.isa Artifact: idl-reasoner
Show all versions Show documentation Show source

0 downloads

Artifact idl-reasoner
Group es.us.isa
Version 1.0.0
Last update 06. April 2023
Organization not specified
URL https://github.com/isa-group/IDLReasoner
License GNU General Public License v3 (GPLv3)
Dependencies amount 8
Dependencies commons-io, log4j-api, log4j-core, org.eclipse.xtext, swagger-core, swagger-parser, guice, idl,
There are maybe transitive dependencies!

Page 1 from 2 (items total 14)