| ||||||||
| ||||||||
Description | ||||||||
The main SAT solver monad. Embeds ST. See type SSTErrMonad, which stands for ''State ST Error Monad''. | ||||||||
Synopsis | ||||||||
| ||||||||
Documentation | ||||||||
| ||||||||
| ||||||||
runSSTErrMonad m s executes a SSTErrMonad action with initial state s until an error occurs or a result is returned. | ||||||||
| ||||||||
| ||||||||
| ||||||||
Produced by Haddock version 2.3.0 |