Fedora Packages

picosat-libs Subpackage of picosat

A SAT solver library

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.

Releases Overview

Release Stable Testing
Fedora Rawhide 965-13.fc35 -
Fedora 35 965-13.fc35 -
Fedora 34 965-12.fc34 -
EPEL 8 965-11.el8 -
EPEL 7 965-2.el7 -
Package Info
Related Packages

You can contact the maintainers of this package via email at picosat dash maintainers at fedoraproject dot org.



Sources on Pagure