Index of /repositories/public/it/unibo/tuprolog

Name Last Modified Size Description
Parent Directory
2p-js/ Wed Apr 15 02:41:12 UTC 2026  
2p-jvm/ Thu Apr 30 21:16:20 UTC 2026  
2p-metadata/ Tue Apr 14 08:00:26 UTC 2026  
2p/ Tue Mar 17 08:45:54 UTC 2026  
argumentation/ Sat Dec 21 16:59:29 UTC 2024  
bdd-js/ Wed Apr 15 18:06:49 UTC 2026  
bdd-jvm/ Thu Apr 30 06:32:14 UTC 2026  
bdd/ Mon Apr 20 09:29:20 UTC 2026  
core-js/ Thu Apr 30 21:16:40 UTC 2026  
core-jvm/ Sun Mar 22 00:43:49 UTC 2026  
core-metadata/ Thu Apr 30 03:57:40 UTC 2026  
core/ Tue Apr 14 09:24:52 UTC 2026  
datalog-jvm/ Wed Apr 29 22:23:25 UTC 2026  
datalog/ Thu Apr 30 07:21:13 UTC 2026  
dsl-core-js/ Thu Apr 30 21:16:36 UTC 2026  
dsl-core-jvm/ Sat Mar 14 15:16:58 UTC 2026  
dsl-core-metadata/ Thu Apr 30 21:16:39 UTC 2026  
dsl-core/ Thu Apr 30 08:28:26 UTC 2026  
dsl-solve-js/ Sat Apr 18 01:38:28 UTC 2026  
dsl-solve-metadata/ Wed Apr 15 21:53:08 UTC 2026  
dsl-solve/ Tue Apr 14 13:26:54 UTC 2026  
dsl-theory-js/ Tue Apr 14 05:30:51 UTC 2026  
dsl-theory-jvm/ Fri Apr 17 18:30:54 UTC 2026  
dsl-theory-metadata/ Thu Apr 30 21:16:17 UTC 2026  
dsl-theory/ Tue Apr 14 03:31:07 UTC 2026  
dsl-unify-js/ Thu Apr 30 06:56:07 UTC 2026  
dsl-unify-jvm/ Thu Apr 30 08:54:32 UTC 2026  
dsl-unify-metadata/ Thu Apr 16 03:37:42 UTC 2026  
dsl-unify/ Thu Apr 30 20:06:39 UTC 2026  
full-js/ Mon Apr 20 01:25:55 UTC 2026  
full/ Thu Apr 30 21:17:26 UTC 2026  
ide-plp/ Thu Apr 30 03:57:30 UTC 2026  
ide/ Thu Apr 30 21:16:19 UTC 2026  
io-lib-js/ Tue Apr 14 17:00:24 UTC 2026  
io-lib-jvm/ Mon Apr 20 14:03:21 UTC 2026  
io-lib-metadata/ Fri Apr 03 13:19:00 UTC 2026  
io-lib/ Tue Apr 14 09:22:18 UTC 2026  
oop-lib-js/ Wed Apr 15 07:50:20 UTC 2026  
oop-lib-metadata/ Wed Apr 15 20:36:02 UTC 2026  
oop-lib/ Thu Apr 30 18:27:29 UTC 2026  
parser-core-jvm/ Mon Apr 20 21:19:48 UTC 2026  
parser-core-metadata/ Thu Apr 30 14:54:33 UTC 2026  
parser-core/ Sat Apr 11 01:22:51 UTC 2026  
parser-js/ Sun Mar 15 16:50:09 UTC 2026  
parser-jvm/ Sun Mar 22 06:23:03 UTC 2026  
parser-theory-js/ Tue Apr 14 19:04:52 UTC 2026  
parser-theory-jvm/ Tue Apr 14 16:06:34 UTC 2026  
repl-js/ Mon Apr 20 03:23:12 UTC 2026  
repl-jvm/ Thu Apr 30 21:16:21 UTC 2026  
repl-metadata/ Sat Apr 18 15:02:25 UTC 2026  
repl/ Fri Apr 17 18:50:57 UTC 2026  
serialize-core-js/ Fri Apr 24 03:06:13 UTC 2026  
serialize-core-jvm/ Tue Apr 21 23:57:32 UTC 2026  
serialize-core-metadata/ Thu Apr 30 20:07:36 UTC 2026  
serialize-core/ Thu Apr 30 12:25:17 UTC 2026  
serialize-theory-js/ Thu Apr 30 21:16:18 UTC 2026  
serialize-theory-jvm/ Tue Apr 14 07:10:31 UTC 2026  
serialize-theory-metadata/ Thu Apr 30 01:03:56 UTC 2026  
serialize-theory/ Thu Apr 23 19:15:27 UTC 2026  
solve-classic-js/ Sat Mar 21 16:41:26 UTC 2026  
solve-classic-jvm/ Thu Apr 30 01:54:06 UTC 2026  
solve-classic/ Mon Mar 16 15:04:46 UTC 2026  
solve-concurrent-js/ Tue Mar 17 16:09:45 UTC 2026  
solve-concurrent-jvm/ Wed Apr 29 21:54:55 UTC 2026  
solve-concurrent/ Thu Apr 30 21:16:26 UTC 2026  
solve-js/ Tue Apr 14 06:27:12 UTC 2026  
solve-jvm/ Sun Apr 19 05:53:39 UTC 2026  
solve-metadata/ Tue Apr 14 16:16:36 UTC 2026  
solve-plp-js/ Thu Apr 30 21:16:40 UTC 2026  
solve-plp/ Thu Apr 30 21:16:34 UTC 2026  
solve-problog-js/ Sun Mar 22 18:33:41 UTC 2026  
solve-problog-jvm/ Thu Apr 30 21:16:27 UTC 2026  
solve-problog/ Tue Apr 14 13:55:07 UTC 2026  
solve-streams-js/ Tue Apr 14 02:11:35 UTC 2026  
solve-streams/ Wed Apr 15 20:14:54 UTC 2026  
solve/ Wed Apr 15 09:09:26 UTC 2026  
test-solve-js/ Thu Apr 30 21:16:38 UTC 2026  
test-solve-jvm/ Tue Apr 14 09:52:33 UTC 2026  
test-solve-metadata/ Thu Apr 30 21:16:40 UTC 2026  
test-solve/ Tue Apr 14 11:30:29 UTC 2026  
theory-js/ Thu Apr 16 19:32:05 UTC 2026  
theory-jvm/ Mon Apr 20 06:43:32 UTC 2026  
theory-metadata/ Thu Apr 30 21:16:33 UTC 2026  
theory/ Sun Mar 22 15:35:09 UTC 2026  
unify-jvm/ Thu Apr 30 21:16:22 UTC 2026  
unify-metadata/ Fri Apr 03 13:18:32 UTC 2026  
unify/ Thu Apr 30 03:57:33 UTC 2026  
utils-js/ Tue Apr 14 11:54:02 UTC 2026  
utils-jvm/ Thu Apr 30 21:16:41 UTC 2026  
utils-metadata/ Thu Apr 30 18:24:00 UTC 2026  
utils/ Thu Apr 30 21:16:45 UTC 2026