Artifact - TLA+ Model Checking Made Symbolic

This artifact version, named "25_ae", contains the same materials which we submitted in the artifact evaluation, and two new files README, and LICENSE. Our artifact comes in the form of a virtual machine (user: oopsla19, pass: ae).  Our model checker v0.5.0 is already installed on the VM. 

After the rebuttal, we agreed with the reviewers to add new optimizations in our model checker, and new benchmarks in the second submission. However, these changes are included only in the later version of our artifact, named "25_v2". Please check the version "25_v2" for updates in our second submission.