/docker-z3-debian-packaging

Docker image for creating Z3 Theorem Prover Debian packages.

Primary LanguageShell