Package : libpicosat1

Package details

Summary: A SAT solver library

Description:
The PicoSAT library, which contains routines that solve the SAT problem.
The library has a simple API which is similar to that of previous
solvers by the same authors.



Maintainer: neoclust

List of RPMs

    No RPM found for libpicosat1 using the current filters, try other values.