presburger_analysis

Example Mona source files and C programs

Install

All systems
curl cmd.cat/presburger_analysis.sh
Fedora
dnf install mona-examples

mona-examples

Example Mona source files and C programs