-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A tiny, lazy SMT solver
--   
--   A tiny, lazy SMT solver. This solver is based on algorithms described
--   in 'Decision Procedures: An Algorithmic Point of View'
@package Smooth
@version 0.1.0.1

module Smooth.LazyBasicSMT

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