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