Package : libpicosat-trace1
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
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 libpicosat-trace1 using the current filters, try other values.