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.
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
- libpicosat-trace1-936-11.mga5.i586.rpm (Mageia 5, i586 media, core-release) Install