GitHub - SuperChocomocha/DPLL-Algorithm: still mostly broken code, dabbling a bit in Haskell

SuperChocomocha / DPLL-Algorithm Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

still mostly broken code, dabbling a bit in Haskell

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
README		README
dpll.hs		dpll.hs

Repository files navigation

Max Guo
November 21, 2011
DPLL Algorithm

TODO: - currently will always return an assignment mapping
            regardless of whether or not the mapping actually satisfies
            the CNF
      - only returns True assignments, False assignments left out of map

USAGE: - no main, so through ghci
       - :l Sat
       - working example: dpll (CNF [[1], [2, -1]])
       - broken example: dpll (CNF [[1], [2, -1], [-1]])
       - input assumed to already be in CNF
             CNF [[1], [2, -1]] is A ^ (B v ~A)