Nickleaton / sudoku

0 stars 0 forks source link

Log for products #158

Closed Nickleaton closed 2 years ago

Nickleaton commented 2 years ago

https://puzzling.stackexchange.com/questions/115716/the-wrong-products

Nickleaton commented 2 years ago

to enforce a = x y z

log (digit) * Choice[d][a] = log (digit) Choice [d][x] + log (digit) Choice [d][y] + log (digit) Choice [d][z]