Download JAR files tagged by solver with all dependencies

mindoptj from group com.alibaba.damo (version 0.25.1)

Java SDK for MindOpt solver, developed by Alibaba Damo Academy

Group: com.alibaba.damo Artifact: mindoptj
Show all versions Show documentation Show source

0 downloads

Artifact mindoptj
Group com.alibaba.damo
Version 0.25.1
Last update 27. August 2023
Organization not specified
URL https://solver.damo.alibaba.com
License The Apache Software License, Version 2.0
Dependencies amount 2
Dependencies junit, jna,
There are maybe transitive dependencies!

coal from group com.jordansamhi (version 0.2.1)

The COAL constant propagation solver for complex object types.

Group: com.jordansamhi Artifact: coal
Show all versions Show documentation Show source

0 downloads

Artifact coal
Group com.jordansamhi
Version 0.2.1
Last update 01. June 2023
Organization Systems and Internet Infrastructure Security Laboratory
URL https://github.com/JordanSamhi/coal
License Apache 2.0
Dependencies amount 5
Dependencies slf4j-api, commons-cli, coal-strings, dexlib2, slf4j-log4j12,
There are maybe transitive dependencies!

jama-solver from group net.raumzeitfalle.registration (version 0.0.7)

NIST JAMA bases solver for image-registration

Group: net.raumzeitfalle.registration Artifact: jama-solver
Show all versions Show documentation Show source

0 downloads

Artifact jama-solver
Group net.raumzeitfalle.registration
Version 0.0.7
Last update 26. April 2023
Organization Oliver Loeffler, Raumzeitfalle.net
URL https://oliver-loeffler.github.io/image-registration
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

fixed-mps from group eu.irzinfante (version 1.1.1)

Easily generate fixed MPS files for LP solver

Group: eu.irzinfante Artifact: fixed-mps
Show all versions Show documentation Show source

0 downloads

Artifact fixed-mps
Group eu.irzinfante
Version 1.1.1
Last update 14. April 2023
Organization not specified
URL https://github.com/irzinfante/fixed-mps
License GNU General Public License (GPL) version 3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

chocotools from group io.gitlab.chaver (version 1.1.2)

A set of tools to facilitate constraint programming with Choco solver

Group: io.gitlab.chaver Artifact: chocotools
Show all versions Show documentation Show source

0 downloads

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

javaparser-symbol-solver-core from group io.joern (version 3.24.3-SL3)

A Symbol Solver for Java, built on top of JavaParser (core)

Group: io.joern Artifact: javaparser-symbol-solver-core
Show documentation Show source

0 downloads

Artifact javaparser-symbol-solver-core
Group io.joern
Version 3.24.3-SL3
Last update 01. June 2022
Organization not specified
URL Not specified
License GNU Lesser General Public License
Dependencies amount 3
Dependencies javaparser-core, javassist, guava,
There are maybe transitive dependencies!

dualip_2.11 from group com.linkedin.dualip (version 1.2.2)

DuaLip: Dual Decomposition based Linear Program Solver.

Group: com.linkedin.dualip Artifact: dualip_2.11
Show all versions Show documentation Show source

0 downloads

Artifact dualip_2.11
Group com.linkedin.dualip
Version 1.2.2
Last update 20. January 2022
Organization not specified
URL https://github.com/linkedin/DuaLip
License BSD 2-CLAUSE
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

poirot_2.13 from group de.sciss (version 0.3.1)

A Scala front-end for the JaCoP constraints solver library

Group: de.sciss Artifact: poirot_2.13
Show documentation Show source

0 downloads

Artifact poirot_2.13
Group de.sciss
Version 0.3.1
Last update 19. June 2020
Organization de.sciss
URL https://github.com/Sciss/Poirot
License AGPL v3
Dependencies amount 2
Dependencies scala-library, jacop,
There are maybe transitive dependencies!

poirot_2.12 from group de.sciss (version 0.3.1)

A Scala front-end for the JaCoP constraints solver library

Group: de.sciss Artifact: poirot_2.12
Show all versions Show documentation Show source

0 downloads

Artifact poirot_2.12
Group de.sciss
Version 0.3.1
Last update 19. June 2020
Organization de.sciss
URL https://github.com/Sciss/Poirot
License AGPL v3
Dependencies amount 2
Dependencies scala-library, jacop,
There are maybe transitive dependencies!

javaparser-symbol-solver-model from group com.github.javaparser (version 3.15.15)

A Symbol Solver for Java, built on top of JavaParser (model)

Group: com.github.javaparser Artifact: javaparser-symbol-solver-model
Show all versions Show documentation Show source

21 downloads

Artifact javaparser-symbol-solver-model
Group com.github.javaparser
Version 3.15.15
Last update 18. March 2020
Organization not specified
URL Not specified
License GNU Lesser General Public License
Dependencies amount 3
Dependencies javaparser-core, javassist, guava,
There are maybe transitive dependencies!

Page 11 from 17 (items total 168)