presburger_analysis

Example Mona source files and C programs

Fedora
RUN dnf install -y mona-examples
click the source code to copy install presburger_analysis on any operating system with command-not-found.com