4 Commits

Author SHA1 Message Date
Boxy
ddbc774e74 Replace mk_const with Const::new_x methods 2023-07-04 14:26:33 +01:00
lcnr
be6a344365 rebase 2023-07-03 09:24:02 +02:00
lcnr
412c6e0b07 review 2023-07-03 09:12:15 +02:00
lcnr
42067596c2 add deep normalization via the new solver 2023-07-03 09:12:14 +02:00