py-app-standalone builds a standalone, relocatable Python installation with a set of packages included. It's like a modern alternative to PyInstaller that leverages the newer uv ecosystem. It's a ...

This code is a substantial rewrite of the NICE project's (http://code.google.com/p/nice-of/) symbolic execution engine for Python, now using the Z3 theorem prover ...