| Safe Haskell | Safe-Inferred |
|---|
Smooth.LazyBasicSMT
- lazyBasicSMT :: FirstOrderTheory t => t -> NNFFormula -> Bool
Documentation
lazyBasicSMT :: FirstOrderTheory t => t -> NNFFormula -> Bool
A simple, lazy SMT solver based on Algorithm 11.2.1 on page 245 of 'Decision Procedures: An Algorithmic Point of View'