presburger_analysis
Example Mona source files and C programs
Install
- All systems
-
curl cmd.cat/presburger_analysis.sh
- Fedora
-
dnf install mona-examples - Dockerfile
- dockerfile.run/presburger_analysis