Paradox is a tool that processes first-order logic problems and tries to find finite-domain models for them.
'org.paradox:paradox:4.0'
<dependency>
<groupId>org.paradox</groupId>
<artifactId>paradox</artifactId>
<version>4.0</version>
</dependency>
<dependency org="org.paradox" name="paradox" rev="4.0"/>
"org.paradox", "paradox", "4.0"