satchmo-2.6.0: SAT encoding monad

Safe HaskellSafe-Inferred
LanguageHaskell98

Satchmo.SMT.Exotic.Domain

Documentation

data Domain Source

Constructors

Natural 
Arctic 
Tropical 
Fuzzy 

Instances