wang-algorithm topic
List
wang-algorithm repositories
WangsAlgorithm
36
Stars
4
Forks
Watchers
A classical propositional theorem prover in Haskell, using Wang's Algorithm.
