Florian Diebold b03969cda9 Remove SolutionVariables, add ConstrainedSubst analogous to Chalk ... ... just missing the constraints.		2021-04-06 23:46:32 +02:00
..
src	Remove SolutionVariables, add ConstrainedSubst analogous to Chalk	2021-04-06 23:46:32 +02:00
Cargo.toml	Use arrayvec 0.7 to avoid perf regression in 0.6.1	2021-04-05 12:58:35 -04:00