Lucas Clemente Vella f07d6aa189 Merge pull request #324 from powdr-org/underdetermined_zero_no_solution ...

Underdetermined constraints with zero not being a solution

2023-06-15 11:27:50 +01:00

..

src

Merge pull request #324 from powdr-org/underdetermined_zero_no_solution

2023-06-15 11:27:50 +01:00

tests

Check if zero is a valid "unknown" solution.

2023-06-14 19:50:09 +02:00

Cargo.toml

optional halo2 proving in cli

2023-06-02 16:05:25 +02:00