David Wang 67b7cb5dc6 Add test: Send More Money. ...

sendmoremoney_carry: 154 guesses.
sendmoremoney_naive: 633681 guesses.

2017-03-02 08:15:55 +11:00

..

queens.rs

Only wake affected constraints.

2017-02-25 08:17:07 +11:00

sendmoremoney.rs

Add test: Send More Money.

2017-03-02 08:15:55 +11:00

sudoku.rs

Add test: Sudoku.

2017-02-24 07:26:56 +11:00