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