Artifact Latest version Version Count Packaging Update time
pt.uminho.ceb.biosystems.mew:mew-solvers
1.1.0 4 jar Jul 09, 2018
it.unibo.tuprolog:solve
1.0.3 107 jar May 10, 2024
it.unibo.tuprolog:solve-jvm
1.0.3 107 jar May 10, 2024
it.unibo.tuprolog:solve-js
1.0.3 107 klib May 10, 2024
io.ksmt:ksmt-z3-native-windows-x64
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-z3-native-mac-x64
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-z3-native-mac-arm
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-z3-native-linux-x64
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-z3-core
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-yices-native-windows-x64
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-yices-native-mac-arm
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-yices-native-linux-x64
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-yices-core
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-cvc5-native-windows-x64
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-cvc5-native-mac-arm
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-cvc5-native-linux-x64
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-cvc5-core
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-bitwuzla-native-windows-x64
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-bitwuzla-native-mac-arm
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-bitwuzla-native-linux-x64
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-bitwuzla-core
0.5.23 17 jar Apr 15, 2024
io.ksmt:ksmt-symfpu
0.5.23 19 jar Apr 15, 2024
io.ksmt:ksmt-runner
0.5.23 24 jar Apr 15, 2024
io.ksmt:ksmt-core
0.5.23 24 jar Apr 15, 2024
io.ksmt:ksmt-z3
0.5.23 24 jar Apr 15, 2024
io.ksmt:ksmt-yices
0.5.23 24 jar Apr 15, 2024
io.ksmt:ksmt-cvc5
0.5.23 24 jar Apr 15, 2024
io.ksmt:ksmt-bitwuzla
0.5.23 24 jar Apr 15, 2024
org.sosy-lab:java-smt
4.1.1 50 jar Jan 22, 2024
net.raumzeitfalle.registration:solver-api
0.0.7 3 pom Apr 26, 2023
it.unibo.tuprolog:solve-metadata
0.17.4 30 jar May 18, 2021
org.choco-solver:pf4cs
1.0.5 6 jar Jan 20, 2017
it.unibo.tuprolog:solve-plp
1.0.3 64 jar May 10, 2024
it.unibo.tuprolog:solve-plp-jvm
1.0.3 64 jar May 10, 2024
it.unibo.tuprolog:solve-plp-js
1.0.3 64 klib May 10, 2024
it.unibo.tuprolog:ide
1.0.3 91 jar May 10, 2024
org.bitbucket.xaviergillard:SolverCheck
1.0.3 4 jar Mar 26, 2019
it.unibo.tuprolog:test-solve
1.0.3 96 jar May 10, 2024
it.unibo.tuprolog:test-solve-js
1.0.3 96 klib May 10, 2024
it.unibo.tuprolog:test-solve-jvm
1.0.3 96 jar May 10, 2024
78 Records