Commits · a8252a6df34d3ec1f3eb6e65498aa33d4ceabd4b · HCS / SCOTS

23 Nov, 2016 2 commits
- Update readme.txt · a8252a6d
  Mahmoud Mahmoud authored Nov 23, 2016
  
  a8252a6d
- Update readme.txt · 8a2ee9a9
  Mahmoud Mahmoud authored Nov 23, 2016
  
  8a2ee9a9
25 Apr, 2016 1 commit
- Manual added and some source code re-organization. · 1b991b02
  Matthias Rungger authored Apr 25, 2016
  
  1b991b02
21 Jan, 2016 3 commits
- Typo fix · e78181b8
  Matthias Rungger authored Jan 21, 2016
  
  e78181b8
- Adapt Makefiles to cudd-3.0.0 · ccef7247
  Matthias Rungger authored Jan 21, 2016
  
  ccef7247
- The ode solver is now outside the SymbolicModelGrowthBound.hh · 88f14dd9
  Matthias Rungger authored Jan 21, 2016
  
  88f14dd9
25 Oct, 2015 2 commits
- Files added · 181cff24
  Matthias Rungger authored Oct 25, 2015
  
  181cff24
- Initial commit with the readme file · b75fa606
  Matthias Rungger authored Oct 25, 2015
  
  b75fa606