Refactor babelsberg-js to better support our solver selection approach
j4yk opened this issue · comments
Sometimes we have to patch methods which we would rather not like to touch, but we have to because of the current architecture.
Split some methods to avoid frequent if/else branches to determine if we are solving+propagating or only solving (for the selection).
Keep in mind the benchmarks.