sbv-8.12: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
Copyright(c) Levent Erkok
LicenseBSD3
Maintainererkokl@gmail.com
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Documentation.SBV.Examples.Puzzles.DogCatMouse

Description

 
Synopsis

Documentation

puzzle :: IO AllSatResult Source #

Prints the only solution:

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