../ clingo-5.5.0-r1.log 16-Dec-2021 13:51 28K clingo-5.6.1-r0.log 22-Oct-2022 12:51 159K clingo-5.6.2-r0.log 09-Nov-2022 07:31 160K clingo-5.6.2-r1.log 23-Nov-2022 11:17 158K clingo-5.6.2-r2.log 13-Apr-2023 08:45 159K clingo-5.6.2-r3.log 22-Oct-2023 08:25 159K clingo-5.7.0-r0.log 16-Feb-2024 03:09 21K clingo-5.7.1-r0.log 17-Feb-2024 12:07 20K clingo-5.7.1-r1.log 13-Apr-2024 10:09 19K