Commit graph

  • d5208cfa34 Some cleanup and optparse main Samae 2023-12-05 22:00:32 +0200
  • ebdb931e32 Add solver Samae 2023-12-04 23:49:58 +0200
  • 3ad26674d3 Use newtypes to retain more information Samae 2023-12-02 18:09:32 +0200
  • af7ebce206 Split into lib Samae 2023-12-02 17:54:37 +0200
  • c01a1f9ca4 AST Samae 2023-12-02 17:38:53 +0200