../ clingo-5.5.0-r1.log 20-Dec-2021 08:18 27K clingo-5.6.1-r0.log 22-Oct-2022 13:12 159K clingo-5.6.2-r0.log 09-Nov-2022 07:48 159K clingo-5.6.2-r1.log 24-Nov-2022 13:28 158K clingo-5.6.2-r2.log 14-Apr-2023 08:06 158K clingo-5.6.2-r3.log 22-Oct-2023 14:28 160K clingo-5.7.0-r0.log 17-Feb-2024 02:52 20K clingo-5.7.1-r0.log 19-Feb-2024 00:36 20K clingo-5.7.1-r1.log 15-Apr-2024 18:01 20K