My public programs and models - mostly combinatorial problems and puzzles
A repository to store Z3-python scripts you can use as examples, reminde...
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, ...