This is the Artifact for the POPL Paper
Inference of Robust Reachability Constraints.
---------------------------------------------
The artifact takes the form of virtual machine disk image.
It can be started by, eg, importing the POPLArtifact-717-43.ova image in VirtualBox.
The VM starts for the account "user", the password of which is also "user".

The entrypoint in the VM is $HOME/artifact.
See the corresponding README for details on how to generate the paper's tables and rerun the experiments.
---------------------------------------------