Fixed.
Unfortunately, splitting on conjuctions is hard-coded into simp and there is no option to disable this behavior. I have replaced simp by a very simple naive implementation which I hope does not exhibit this behavior.
simp
Fixed, thanks.
Thank you for the report. I have fixed the initial solution.
Loading collection data...
Fixed.
Fixed.
Fixed.
Fixed.
Fixed.
Fixed.
Fixed.
Unfortunately, splitting on conjuctions is hard-coded into
simpand there is no option to disable this behavior. I have replacedsimpby a very simple naive implementation which I hope does not exhibit this behavior.Fixed, thanks.
Fixed, thanks.
Thank you for the report. I have fixed the initial solution.