/WangsAlgorithm

A propositional theorem prover in Haskell, using Wang's Algorithm.

Primary LanguageHaskellMIT LicenseMIT

Stargazers

No one’s star this repository yet.