Index of /adtrem/ADTRem-JLC-benchmarks/CHC-source-prolog/

../
clam/                                              12-Apr-2021 13:58                   -
hipspec/                                           12-Apr-2021 13:58                   -
isaplanner/                                        12-Apr-2021 13:58                   -
leon/                                              12-Apr-2021 13:58                   -