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

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