Rare find

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

github.com/joom/WangsAlgorithm
by @joom

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.