Wilco Kusee a75bffc729 Increase Chalk fuel from 100 to 1000 ... The old value was for the old chalk-engine solver, nowadays the newer chalk-recursive solver is used. The new solver currently uses fuel a bit more quickly, so a higher value is needed. Running analysis-stats showed that a value of 100 increases the amount of unknown types, while for a value of 1000 it's staying mostly the same.		2022-12-05 18:13:11 +01:00
..
src	Increase Chalk fuel from 100 to 1000	2022-12-05 18:13:11 +01:00
Cargo.toml	Update to Chalk 88	2022-12-05 17:29:23 +01:00