All Downloads are FREE. Search and download functionalities are using the official Maven repository.

META-INF.MANIFEST.MF Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of choco-sat Show documentation

A SAT solver, used internally in choco-solver

The newest version!

Manifest-Version: 1.0
Created-By: Maven Source Plugin 3.2.1

© 2015 - 2025 Weber Informatics LLC | Privacy Policy