• it.unibo.tuprolog
  • solve-jvm
    core solve-jvm
  • 0.31.15
    1.0.4 1.0.3 1.0.2 1.0.1 1.0.0 0.32.5 0.32.4 0.32.3 0.32.2 0.32.1 0.32.0 0.31.21 0.31.20 0.31.19 0.31.18 0.31.17 0.31.16 0.31.15 0.31.14 0.31.13 0.31.12 0.31.11 0.31.10 0.31.9 0.31.8 0.31.7 0.31.5-dev02+b65f8712e 0.31.5-dev01+75e0f28ea 0.31.5-dev0m+0c07eb350 0.31.5-dev0f+5a2ad7593 0.31.5-dev0c+d53549ad7 0.31.5 0.31.4-dev01+3caf83203 0.31.4 0.31.3 0.31.2 0.31.1-dev02+0cd8a1ae6 0.31.1-dev01+f8b39929b 0.31.1 0.31.0 0.30.5 0.30.4 0.30.3-dev0a+69949374d 0.30.3 0.30.2-dev08+5b060658 0.30.2-dev0f+259d7b5b 0.30.2 0.30.1 0.30.0-dev01+725eae35 0.30.0 0.20.9-dev03+3250bb16 0.20.9-dev02+01edbfee 0.20.9-dev01+ada92962 0.20.9-dev0g+63540268 0.20.9-dev0c+bc6d9512 0.20.9-dev0a+8e9a240b 0.20.9 0.20.7 0.20.4 0.20.3 0.20.2-dev07+51892bb0 0.20.2 0.20.1 0.20.0 0.19.0-dev2h+f6956cce 0.19.0 0.18.2-dev11+a1bd2a91 0.18.2-dev0z+13957e4e 0.18.2 0.18.1-dev05+178b1e2d 0.18.1 0.18.0 0.17.4-dev09+485a46b2 0.17.4-dev1q+a89f03d9 0.17.4-dev1d+a1160f82 0.17.4-dev0j+7e9a6f28 0.17.4 0.17.3-dev08+7cca0c42 0.17.3-dev0a+b6708d58 0.17.3 0.17.2-dev03+43981b51 0.17.2 0.17.1-dev18+089dd410 0.17.1-dev03+67bb5e23 0.17.1-dev1o+35e72985 0.17.1-dev0z+70805b63 0.17.1-dev0w+54dd0dd0 0.17.1-dev0v+25724c0c 0.17.1 0.17.0 0.16.1-dev4z+7e0f0041 0.16.1-dev4u+b2f05e44 0.16.1-dev4o+a2fea905 0.16.1 0.16.0 0.15.2 0.15.0 0.14.11 0.13.0 0.12.1 0.12.0 0.11.5 0.11.4 0.11.3 0.11.2 0.11.1 0.11.0 0.10.2
Bookmarks
Latest version of it.unibo.tuprolog:solve-jvm
https://javadoc.io/doc/it.unibo.tuprolog/solve-jvm
Current version 0.31.15
https://javadoc.io/doc/it.unibo.tuprolog/solve-jvm/0.31.15
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/it.unibo.tuprolog/solve-jvm/0.31.15/package-list