Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Try fix statecode bug | 2019-06-15 | |
| | | | | Modified graph width calculation to not depend on order of nodes | ||
* | Default state coder range set to Width, as it should be | 2019-06-01 | |
| | |||
* | Updated partial model representation handling | 2018-06-13 | |
| | |||
* | upgraded attribute support for the graph solver | 2018-03-24 | |
| | |||
* | neighbourhood calculated to fix range | 2017-10-27 | |
| | |||
* | Representation included trace by accident | 2017-10-27 | |
| | |||
* | Migrating Additional projects | 2017-06-10 | |