Laurențiu Nicola 3f3aee53b4 Bump default CHALK_SOLVER_MAX_SIZE to 150

2021-12-20 20:35:45 +02:00

..

src

Bump default CHALK_SOLVER_MAX_SIZE to 150

2021-12-20 20:35:45 +02:00

Cargo.toml

Bump chalk

2021-12-19 18:58:39 +02:00