| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Improved transformations and cleaned up | Sebastiano Tronto | 2023-10-27 | 3 | -4/+27 |
| * | Added transformations (and fixed tests) | Sebastiano Tronto | 2023-10-22 | 4 | -1/+226 |
| * | Generated tests for transformations | Sebastiano Tronto | 2023-10-22 | 1 | -0/+34 |
| * | Small change of plans, moved stuff around | Sebastiano Tronto | 2023-10-22 | 2 | -58/+0 |
| * | Progess with transformation implementation | Sebastiano Tronto | 2023-10-22 | 3 | -1/+102 |
| * | Added more complete test for SRC_write; renamed tests for clarity | Sebastiano Tronto | 2023-10-10 | 1 | -1/+1 |
| * | Added write to SRC format | Sebastiano Tronto | 2023-10-08 | 1 | -2/+13 |
| * | Added transformation util files, renamed move files | Sebastiano Tronto | 2023-10-05 | 68 | -0/+68 |
| * | Split isconsistent() and issolvable() | Sebastiano Tronto | 2023-10-05 | 1 | -1/+0 |
| * | Implemented compose; some cleanup | Sebastiano Tronto | 2023-10-05 | 20 | -0/+44 |
 |
index : nissy-core | |
| The "engine" of nissy, including the H48 optimal solver. |
| aboutsummaryrefslogtreecommitdiff |
Generated with cgit - Back to sebastiano.tronto.net