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-20.fc40 -
Fedora 40 965-20.fc40 -
Fedora 39 965-18.fc39 -
Fedora 38 965-17.fc38 -
EPEL 9 965-17.el9 -
EPEL 8 965-17.el8 -
EPEL 7 965-2.el7 -
File a new bug report »
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