A tool that processes first-order logic problems and tries to find finite-domain models for them; written by Koen Claessen and Niklas Sörensson. Haskell and C++; free download under GPL.
Authored by
at
, Added: Mar 8, 2004
http://www.cs.chalmers.se/~koen/paradox/
