../ clingo-5.5.0-r1.log 16-Dec-2021 09:40 27K clingo-5.6.1-r0.log 22-Oct-2022 12:44 158K clingo-5.6.2-r0.log 09-Nov-2022 07:32 159K clingo-5.6.2-r1.log 23-Nov-2022 23:06 158K clingo-5.6.2-r2.log 12-Apr-2023 10:58 158K clingo-5.6.2-r3.log 22-Oct-2023 08:22 160K clingo-5.7.0-r0.log 16-Feb-2024 13:16 20K clingo-5.7.1-r0.log 17-Feb-2024 12:03 20K clingo-5.7.1-r1.log 15-Apr-2024 00:45 20K