ekmett / ersatz

A monad for interfacing with external SAT solvers
Other
63 stars 15 forks source link

Factorization example #4

Closed ghost closed 10 years ago

ghost commented 10 years ago

The edit to sudoku was necessary for testing purposes only. The multiplication of 5 bits with 5 bits results in 13 bits, which is a bug. Sould be 10.