SMCDEL.Examples.WhatSum

Documentation

wsBound :: Int

wsTriples :: [(Int, Int, Int)]

aProps :: [Prp]

bProps :: [Prp]

cProps :: [Prp]

aIs :: Int -> Form

bIs :: Int -> Form

cIs :: Int -> Form

wsKnStruct :: KnowStruct

wsKnowSelfA :: Form

wsKnowSelfB :: Form

wsKnowSelfC :: Form

wsResult :: KnowStruct

wsSolutions :: [State]

wsExplainState :: [Prp] -> [(Char, Int)]