Commit message (Expand) | Author | Age | |
---|---|---|---|
* | refactor(viatra): replace Stack with Deque | 2023-08-31 | |
* | fix: strong represenative election algorithm | 2023-08-27 | |
* | feat: interruptible VIATRA engine | 2023-08-19 | |
* | refactor: move ITC algorithms | 2023-08-19 | |
* | chore: mark modified VIATRA files | 2023-08-19 | |
* | refactor: merge VIATRA subprojects | 2023-08-19 | |
* | chore: import VIATRA source | 2023-08-19 |