Package : lib64picosat1
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
- lib64picosat1-936-8.mga4.x86_64.rpm (Mageia 4, x86_64 media, core-release) Install