876ca5a541f840b34a35d1b6f52f570df95609b5 to 05787c6912161bf257effb9dfafc025a646c4c95 · i7 / owl

Commits on Source 3

Improve performance of BDD-based equivalence class and retain representative. · bf95a7cf
Salomon Sickert authored Sep 02, 2019

bf95a7cf
Merge branch 'equivalence-class-modernisation' into 'master' · ba87c5b3
Salomon Sickert authored Nov 06, 2019
```
Improve performance of BDD-based equivalence class and retain representative.

See merge request i7/owl!334
```
ba87c5b3
Add decomposition of states to cinterface. · 05787c69
Salomon Sickert authored Jun 19, 2019

05787c69