Safe HaskellSafe

Data.Algorithm.SatSolver.Solver

Contents

Synopsis

Type

type Assignment a = Map (Var a) Bool Source #

Assignement type definition.

Solve with literal selection

solve :: Ord a => Fml a -> Maybe (Assignment a) Source #

solve f solves a CNF formula f. It returns an assignment if f is satisfiable and Nothing otherwise.