presburger_transduction

Example Mona source files and C programs

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