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