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