Paradox

Paradox is a tool that processes first-order logic problems and tries to find finite-domain models for them. Paradox is written by Koen Claessen and Niklas Sörensson.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element