aboutsummaryrefslogtreecommitdiff
path: root/test.smt2 (follow)
Commit message (Expand)AuthorAgeFilesLines
* added prover scriptericmarin2026-03-101-7/+0
* linear foldingericmarin2026-03-091-0/+7
generated by cgit v1.2.3 (git 2.39.1) at 2026-04-16 01:59:39 +0000