2 Commits

Author SHA1 Message Date
Max Lübke
02a9531544 feat: add helper functions to TugInput struct 2022-09-01 16:43:14 +02:00
Max Luebke
e482d71779 feat: Remove class BTCSDiffusion
BREAKING CHANGE: Functionality is now provided by function calls and
scheme generation is decoupled from LEqS solving.
2022-09-01 16:43:14 +02:00