1 repository on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.