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
..
2019-04-26 11:42:10 -04:00
2019-04-09 22:51:22 +03:00
2019-04-09 22:52:06 +03:00
2019-05-13 13:49:14 +00:00
2019-05-04 17:39:51 +01:00
2019-05-05 10:32:57 +08:00
2019-05-13 13:49:14 +00:00