Download JAR files tagged by solver with all dependencies

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

Kotlin Multiplatform sudoku solver

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

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

0 downloads

Artifact sudoco-solver
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!

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

Kotlin Multiplatform sudoku solver

Group: nl.entreco.sudoco Artifact: sudoco-solver-jvm
Show documentation

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

0 downloads

Artifact sudoco-solver-jvm
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!

mew-solvers-cplex from group pt.uminho.ceb.biosystems.mew (version 1.1.0)

Cplex solver project for MEWorkbench

Group: pt.uminho.ceb.biosystems.mew Artifact: mew-solvers-cplex
Show all versions Show documentation Show source

107 downloads

Artifact mew-solvers-cplex
Group pt.uminho.ceb.biosystems.mew
Version 1.1.0
Last update 09. July 2018
Organization not specified
URL https://github.com/MEWorkbench/solvers.cplex
License LGPLv2.1
Dependencies amount 2
Dependencies junit, mew-solvers,
There are maybe transitive dependencies!

cubes from group com.bipinet.cubes (version 1.0.2)

Happy Cube Solver

Group: com.bipinet.cubes Artifact: cubes
Show documentation Show source

0 downloads

Artifact cubes
Group com.bipinet.cubes
Version 1.0.2
Last update 28. March 2018
Organization not specified
URL https://github.com/ajurge/cubes
License MIT License
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!

javascript-lp-solver from group org.webjars.npm (version 0.4.3)

WebJar for javascript-lp-solver

Group: org.webjars.npm Artifact: javascript-lp-solver
Show documentation Show source

0 downloads

Artifact javascript-lp-solver
Group org.webjars.npm
Version 0.4.3
Last update 01. September 2016
Organization not specified
URL http://webjars.org
License MIT
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

smtinterpol from group org.sosy-lab (version 2.1-255-gcdd5908)

SMTInterpol interpolating SMT solver

Group: org.sosy-lab Artifact: smtinterpol
Show all versions Show documentation Show source

0 downloads

Artifact smtinterpol
Group org.sosy-lab
Version 2.1-255-gcdd5908
Last update 16. August 2016
Organization ultimate-pa
URL http://ultimate.informatik.uni-freiburg.de/smtinterpol/
License GNU LESSER GENERAL PUBLIC LICENSE
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

coal-strings from group edu.psu.cse.siis (version 0.1.2)

String Analysis for the COAL Solver.

Group: edu.psu.cse.siis Artifact: coal-strings
Show all versions Show documentation Show source

0 downloads

Artifact coal-strings
Group edu.psu.cse.siis
Version 0.1.2
Last update 16. September 2015
Organization not specified
URL http://siis.cse.psu.edu/coal/
License Apache 2.0
Dependencies amount 1
Dependencies soot,
There are maybe transitive dependencies!

jmpi-solver-xpress from group net.sf.jmpi (version 0.6)

The solver interface for Xpress

Group: net.sf.jmpi Artifact: jmpi-solver-xpress
Show all versions Show documentation Show source

4 downloads

Artifact jmpi-solver-xpress
Group net.sf.jmpi
Version 0.6
Last update 22. April 2015
Organization not specified
URL http://jmpi.sf.net
License GNU Lesser General Public License
Dependencies amount 1
Dependencies jmpi-main,
There are maybe transitive dependencies!

jmpi-solver-sat4j from group net.sf.jmpi (version 0.6)

The solver interface for SAT4J

Group: net.sf.jmpi Artifact: jmpi-solver-sat4j
Show all versions Show documentation Show source

1 downloads

Artifact jmpi-solver-sat4j
Group net.sf.jmpi
Version 0.6
Last update 22. April 2015
Organization not specified
URL http://jmpi.sf.net
License GNU Lesser General Public License
Dependencies amount 3
Dependencies org.ow2.sat4j.core, org.ow2.sat4j.pb, jmpi-main,
There are maybe transitive dependencies!

Page 4 from 17 (items total 165)