Stability | experimental |
---|---|

Maintainer | erkokl@gmail.com |

Safe Haskell | Safe-Infered |

Puzzle: Spend exactly 100 dollars and buy exactly 100 animals. Dogs cost 15 dollars, cats cost 1 dollar, and mice cost 25 cents each. You have to buy at least one of each. How many of each should you buy?

- puzzle :: IO AllSatResult

# Documentation

puzzle :: IO AllSatResultSource

Prints the only solution:

`>>>`

Solution #1: dog = 3 :: SInteger cat = 41 :: SInteger mouse = 56 :: SInteger This is the only solution.`puzzle`