Artifact Latest version Version Count Packaging Update time
it.unibo.tuprolog:repl
1.0.4 108 jar May 27, 2024
it.unibo.tuprolog:repl-jvm
1.0.4 108 jar May 27, 2024
it.unibo.tuprolog:repl-js
1.0.4 108 klib May 27, 2024
it.unibo.tuprolog:ide-plp
1.0.4 64 jar May 27, 2024
it.unibo.tuprolog:oop-lib
1.0.4 98 jar May 27, 2024
it.unibo.tuprolog:oop-lib-jvm
1.0.4 98 jar May 27, 2024
it.unibo.tuprolog:oop-lib-js
1.0.4 98 klib May 27, 2024
it.unibo.tuprolog:io-lib
1.0.4 96 jar May 27, 2024
it.unibo.tuprolog:io-lib-jvm
1.0.4 96 jar May 27, 2024
it.unibo.tuprolog:io-lib-js
1.0.4 96 klib May 27, 2024
com.javasolver:jsr331-linear
2.3.0 7 jar Apr 19, 2024
it.unibo.tuprolog:test-solve-metadata
0.17.4 30 jar May 18, 2021
it.unibo.tuprolog:repl-metadata
0.17.4 30 jar May 18, 2021
it.unibo.tuprolog:oop-lib-metadata
0.17.4 20 jar May 18, 2021
it.unibo.tuprolog:io-lib-metadata
0.17.4 18 jar May 18, 2021
org.spectrumauctions:sats-opt
0.5.3 2 jar Feb 26, 2018
com.javasolver:javasolver
2.3.0 8 jar Apr 19, 2024
org.btrplace:split
1.12.9 32 jar Nov 03, 2023
com.github.hageldave.optisled:optisled
0.0.3 3 jar Mar 16, 2023
com.github.green-solver:green
0.2.0 1 jar Jul 12, 2019
com.kabouterlabs:JavaOdeInt
0.9.0 1 jar Jun 19, 2017
com.javasolver:jsr331
2.3.0 7 jar Apr 18, 2024
net.sourceforge.streamsupport:math-base
1.3.0 4 jar Mar 20, 2024
com.vmware.dcm:dcm
0.15.0 14 jar Jul 19, 2022
org.spectrumauctions:sats
0.8.1 9 jar Dec 13, 2021
com.github.cp-profiler:cpprof-java
1.3.0 4 jar Sep 13, 2016
com.github.cp-profiler:cpprofjava
1.0.0 1 jar Oct 20, 2015
com.googlecode.matrix-toolkits-java:mtj
1.0.4 6 jar Jul 06, 2015
com.kabouterlabs:JavaOdeIntLinux
0.99.0 1 jar Jun 23, 2017
io.github.andreas-solti.matrix-toolkits-java:mtj
1.0.8 4 jar Sep 10, 2019
com.github.hullbend:mt-java
1.1.0 6 jar Jan 02, 2019
org.ow2.sat4j:org.ow2.sat4j.csp
2.3.5 3 jar May 26, 2013
org.ow2.sat4j:org.ow2.sat4j.csp.xmlparser
2.3.5 3 jar May 26, 2013
org.sat4j:org.sat4j.pom
2.3.1 3 pom Nov 01, 2011
org.sat4j:org.sat4j.maxsat
2.3.1 3 jar Nov 01, 2011
org.sat4j:org.sat4j.csp
2.3.0 2 jar Mar 30, 2011
org.sat4j:org.sat4j.csp.xmlparser
2.3.0 2 jar Mar 30, 2011
org.sat4j:org.sat4j.sat
2.3.0 2 jar Mar 30, 2011
78 Records