models/nusmv/Problem3-Full.smv · 826c794fbd32b393212101d2b1f296a3be4a3040 · Joshua Moerman / rers-2016 · GitLab

Aug 30, 2016
826c794f
Adds full NuSMV models (including specs) · 826c794f
Joshua Moerman authored Aug 30, 2016
```
And fixes a small bug in the conversion
```
826c794f
Adds full NuSMV models (including specs)
Joshua Moerman authored Aug 30, 2016
```
And fixes a small bug in the conversion
```