Web Interface

Our implementation can be tested via a web interface for integer programs, a web interface for probabilistic integer programs, and a web interface for C programs. A description of the input format for (probabilistic) integer programs can be found here. These web interfaces are provided via special versions of the website of our tool AProVE.