UniqueLogic.ST.TF.System

Preparation

data Variable w s a

Handle duplicates

class C w

class Fragile t

class Value w a

Posing statements

data T w s a

data Apply w s a

Solution

solveDepthFirst

solveBreadthFirst