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-12.mga6.i586.rpm (Mageia 6, i586 media, core-release) Install