Index of /log/clingo/

../
2022-11-07.log                                     07-Nov-2022 17:58                4983
2022-11-08.log                                     08-Nov-2022 15:09                 737
2022-11-09.log                                     09-Nov-2022 15:59                1108
2022-11-11.log                                     11-Nov-2022 09:09                 993
2024-02-16.log                                     16-Feb-2024 01:42                4615
2024-02-19.log                                     19-Feb-2024 09:16                4615