Copyright	(c) Masahiro Sakai 2016
License	BSD-style
Maintainer	masahiro.sakai@gmail.com
Stability	experimental
Portability	non-portable (FlexibleContexts, FlexibleInstances, MultiParamTypeClasses)
Safe Haskell	None
Language	Haskell2010

ToySolver.SAT.Store.CNF

Description

Documentation

Instances

PrimMonad m => AddClause m (CNFStore m) Source #
Instance details Defined in ToySolver.SAT.Store.CNF Methods addClause :: CNFStore m -> Clause -> m () Source #
PrimMonad m => NewVar m (CNFStore m) Source #
Instance details Defined in ToySolver.SAT.Store.CNF Methods newVar :: CNFStore m -> m Var Source # newVars :: CNFStore m -> Int -> m [Var] Source # newVars_ :: CNFStore m -> Int -> m () Source #