solve

it.unibo.tuprolog

Resolution-agnostic API for logic solvers

Recommended: 1.5.1 133 versions jar Updated 2 years ago Apache-2.0Checking...

Add to your project1.2.1

<dependency>
    <groupId>it.unibo.tuprolog</groupId>
    <artifactId>solve</artifactId>
    <version>1.2.1</version>
</dependency>

Version Details — 1.2.1

Packaging
jar
Direct Deps
6
Total Deps
9
Published
Unknown
License
Apache-2.0

Resolution-agnostic API for logic solvers

Checking security advisories...