Paradox
Paradox is a tool that processes first-order logic problems and tries to find finite-domain models for them.
| Group Id | org.paradox |
| Artifact Id | paradox |
| Latest | 4.0 |
| Badge |
|
| Last Updated | 2013-02-28T19:23:36+00:00 |
Versions
| Version | Last Updated |
| 4.0 latest | 2013-02-28T11:13:06+00:00 |