rAKA/bugfixes%2Fexample-czm-law-custom

features/solver-rewrite