| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2022-02-27 | Removed some unused code (khuge). Improved optimal solver performance by ↵ | Sebastiano Tronto | 1 | -8/+8 | |
| about 10% using raw transition tables (same for dr step). | |||||
| 2021-12-17 | some progress | Sebastiano Tronto | 1 | -2/+0 | |
| 2021-11-11 | Rewritten from scratch. Welocme nissy 2.0! | Sebastiano Tronto | 1 | -0/+375 | |
