Merge requests · Iris / examples

Make EqType more realistic

!4 · created Mar 21, 2018 by Amin Timany
- Merged
- 8
updated Jan 25, 2019
Add the spanning tree algorithm.

!3 · created Dec 14, 2017 by Amin Timany
- Merged
- 4
updated Jan 25, 2019
Amin/logrel

!2 · created Dec 14, 2017 by Amin Timany
- Merged
- 5
updated Jan 25, 2019
update for more general saved_prop

!1 · created Oct 29, 2017 by Ralf Jung
- Merged
updated Jan 25, 2019