Name Last modified Size DescriptionApache/2.4.56 (Debian) Server at www.irif.fr Port 443
Parent Directory - database.smt2 2022-11-28 18:01 2.6K tiling.smt2 2022-11-28 18:01 2.2K arithmetic.smt2 2022-11-28 18:01 1.9K automaton.smt2 2022-09-05 15:08 1.2K graphe.smt2 2022-11-28 18:01 694 invariant.smt2 2022-09-05 15:08 581 order.smt2 2022-11-28 18:01 517 mcnuggets.smt2 2022-09-05 15:08 454 buveur.smt2 2022-11-28 18:01 392 eq52.smt2 2022-11-28 18:00 211