| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Split nissy in other repos, see README.md | Sebastiano Tronto | 2023-05-01 | 1 | -6/+0 |
| | | |||||
| * | Added notes for solver theory | Sebastiano Tronto | 2023-02-08 | 1 | -6/+2 |
| | | |||||
| * | Some improvements to test suite, ready to go | Sebastiano Tronto | 2023-02-04 | 1 | -5/+0 |
| | | |||||
| * | Started working on testing (broken for now) | Sebastiano Tronto | 2023-01-22 | 1 | -11/+2 |
| | | |||||
| * | Re-organized TODO file | Sebastiano Tronto | 2023-01-14 | 1 | -0/+24 |
