Name Last modified Size Description Parent Directory - automaton.smt2 2021-11-24 16:28 1.2K invariant.smt2 2021-11-24 16:29 581 mcnuggets.smt2 2021-11-24 16:28 454