Commits · master · Andrea.Tenti / Verification of Heuristic

10 Oct, 2019 2 commits
- Fixed typo · 9d49b45f
  Andrea.Tenti authored Oct 10, 2019
  
  9d49b45f
- Fixed indicisation and redone experiments of Heuristic 5.17 · 0d68a67f
  Andrea.Tenti authored Oct 10, 2019
  
  0d68a67f
08 Oct, 2019 1 commit
- Fixed reference to Heuristic 5.7 · 6f1dde26
  Andrea.Tenti authored Oct 08, 2019
  
  6f1dde26
01 Oct, 2019 2 commits
- Renaming · cd17b6fb
  Andrea.Tenti authored Oct 01, 2019
  
  cd17b6fb
- Initial commit · 76a8289c
  Andrea.Tenti authored Oct 01, 2019
  
  76a8289c