puresat-0.1: Pure Haskell SAT-solver
Safe HaskellNone
LanguageHaskell2010

PureSAT.PartialAssignment

Documentation

newtype PartialAssignment s Source #

Constructors

PA (MutableByteArray s)