Commits · 44768447ba2c6c82826654ccb019eb0e2ed27503 · Joshua Moerman / rers-2016

31 Aug, 2016 3 commits
- Adds some more brackets · 44768447
  Joshua Moerman authored Aug 31, 2016
  
  44768447
- Removed simplification of the formulas · 924e4ace
  Joshua Moerman authored Aug 31, 2016
  
  924e4ace
- Results from NuSMV are back · d8ce85ec
  Joshua Moerman authored Aug 31, 2016
  
  d8ce85ec
30 Aug, 2016 5 commits
- Adds full NuSMV models (including specs) · 826c794f
  Joshua Moerman authored Aug 30, 2016
```
And fixes a small bug in the conversion
```
  826c794f
- Adds converted models (NuSMV format) · df1b7c55
  Joshua Moerman authored Aug 30, 2016
  
  df1b7c55
- Extracts latest models from 7zips · 7f71c101
  Joshua Moerman authored Aug 30, 2016
  
  7f71c101
- Adds files used for and created by learning · b6672e26
  Joshua Moerman authored Aug 30, 2016
  
  b6672e26
- Adds the problem descriptions · 1b44501c
  Joshua Moerman authored Aug 30, 2016
  
  1b44501c