module PPOL.Sat.Solver.DPLL
(
	solve
)
where

import qualified Data.List  as List
import qualified Data.Map   as Map
import qualified Data.Maybe as Maybe

import qualified PPOL.Sat.Formula  as F
import qualified PPOL.Sat.Clause   as C
import qualified PPOL.Sat.Literal  as L
import qualified PPOL.Sat.Variable as V

solve :: (Ord a) => Formula a -> Maybe.Maybe (Map.Map (V.Variable a) Bool)