aboutsummaryrefslogtreecommitdiff
path: root/entries/funemy/z3/z4fib.sh
Commit message (Expand)AuthorAge
* a different z3 constraint encodingfunemy2022-10-25