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.
URL: http://fmv.jku.at/picosat/
License: MIT-like
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.
URL: http://fmv.jku.at/picosat/
License: MIT-like
Maintainer: neoclust
List of RPMs
- libpicosat1-965-2.mga9.i586.rpm (Mageia cauldron, i586 media, core-release) Install