Commit Graph

3 Commits

Author SHA1 Message Date
Samae ebdb931e32 Add solver
It's fragile in ways, let's make it better with more specs
2023-12-04 23:49:58 +02:00
Samae 3ad26674d3 Use newtypes to retain more information 2023-12-02 18:09:32 +02:00
Samae af7ebce206 Split into lib 2023-12-02 17:54:37 +02:00