Download JAR files tagged by solver with all 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!

org.ow2.sat4j.csppb from group org.ow2.sat4j (version 0.1.0)

A CSP solver based on the Sat4j platform.

Group: org.ow2.sat4j Artifact: org.ow2.sat4j.csppb
Show documentation Show source

0 downloads

Artifact org.ow2.sat4j.csppb
Group org.ow2.sat4j
Version 0.1.0
Last update 23. August 2022
Organization not specified
URL https://gitlab.ow2.org/sat4j/sat4j-csp-pb
License GNU Lesser General Public License, Version 3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

optaplanner-wb-solver-editor-api from group org.optaplanner (version 7.73.0.Final)

OptaPlanner Workbench - Solver Editor - API

Group: org.optaplanner Artifact: optaplanner-wb-solver-editor-api
Show all versions Show documentation Show source

0 downloads

Artifact optaplanner-wb-solver-editor-api
Group org.optaplanner
Version 7.73.0.Final
Last update 18. July 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 10
Dependencies errai-bus, errai-common, optaplanner-core, kie-soup-commons, kie-wb-common-services-api, uberfire-api, uberfire-project-api, uberfire-services-api, uberfire-commons-editor-api, xstream,
There are maybe transitive dependencies!

optaplanner-wb-solver-editor from group org.optaplanner (version 7.73.0.Final)

OptaPlanner Workbench - Solver Editor

Group: org.optaplanner Artifact: optaplanner-wb-solver-editor
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact optaplanner-wb-solver-editor
Group org.optaplanner
Version 7.73.0.Final
Last update 18. July 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

coal-strings from group com.jordansamhi (version 0.2)

String Analysis for the COAL Solver.

Group: com.jordansamhi Artifact: coal-strings
Show documentation Show source

0 downloads

Artifact coal-strings
Group com.jordansamhi
Version 0.2
Last update 27. June 2022
Organization not specified
URL https://github.com/JordanSamhi/coal-strings
License Apache 2.0
Dependencies amount 1
Dependencies soot,
There are maybe transitive dependencies!

javasmt-solver-boolector from group org.sosy-lab (version 3.2.2-gcc3a7091)

SMT solver Boolector for use in JavaSMT

Group: org.sosy-lab Artifact: javasmt-solver-boolector
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact javasmt-solver-boolector
Group org.sosy-lab
Version 3.2.2-gcc3a7091
Last update 12. December 2021
Organization Software Systems Lab
URL https://github.com/sosy-lab/java-smt
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

mirai-login-solver-selenium from group net.mamoe (version 1.0-dev-17)

Group: net.mamoe Artifact: mirai-login-solver-selenium
Show documentation Show source

0 downloads

Artifact mirai-login-solver-selenium
Group net.mamoe
Version 1.0-dev-17
Last update 17. April 2021
Organization not specified
URL https://github.com/project-mirai/mirai-login-solver-selenium
License Apache-2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

javasmt-solver-cvc4 from group org.sosy-lab (version 1.8-prerelease-2020-06-24-g7825d8f28)

SMT solver CVC4 for use in JavaSMT

Group: org.sosy-lab Artifact: javasmt-solver-cvc4

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact javasmt-solver-cvc4
Group org.sosy-lab
Version 1.8-prerelease-2020-06-24-g7825d8f28
Last update 22. January 2021
Organization Software Systems Lab
URL https://github.com/sosy-lab/java-smt
License Modified BSD License
Dependencies amount 0
Dependencies No dependencies
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!

sudoco-solver-metadata from group nl.entreco.sudoco (version 1.0.0)

Kotlin Multiplatform sudoku solver

Group: nl.entreco.sudoco Artifact: sudoco-solver-metadata
Show documentation Show source

0 downloads

Artifact sudoco-solver-metadata
Group nl.entreco.sudoco
Version 1.0.0
Last update 29. March 2020
Organization not specified
URL https://gitlab.com/entreco/sudocu
License The Apache Software License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Page 3 from 3 (items total 165)