Project Group: org.paradox

Paradox

org.paradox : paradox

Paradox is a tool that processes first-order logic problems and tries to find finite-domain models for them.

Last Version: 4.0

Release Date: Feb 28, 2013