Index of /adtrem/ADTRem-JLC-benchmarks/

../
CHC-source/                                        15-Apr-2021 10:33                   -
CHC-source-prolog/                                 12-Apr-2021 13:58                   -
CHC-transformed/                                   21-Apr-2021 08:05                   -
DTT-nolemmas/                                      12-Apr-2021 13:58                   -