Index of /cadical/

../
2026-07-20.log                                     20-Jul-2026 00:28               22122
2026-07-29.log                                     29-Jul-2026 08:37               22592
2026-08-07.log                                     07-Aug-2026 17:11               22592