Florian Diebold c29a692137 Increase Chalk solver max_size back to 4 ... Reducing it to 2 was just a failed attempt to see whether that would help fix some slow cases; in fact, it can create new slow cases by replacing concrete types by variables.		2019-05-13 22:20:39 +02:00
..
src	Increase Chalk solver max_size back to 4	2019-05-13 22:20:39 +02:00
Cargo.toml	Update Chalk	2019-05-04 18:18:30 +02:00