Package picosat: Information

Source package: picosat

Version: 965-alt3

Build time:  Jan 29, 2024, 04:09 PM

Category: Sciences/Mathematics

Home page: http://fmv.jku.at/picosat/

License: MIT

Summary: PicoSAT solver

Description: 

The SAT problem is the classical NP complete problem of searching for a
satisfying assignment of a propositional formula in conjunctive normal
form (CNF). General information on SAT can be found at www.satlive.org
or www.satlib.org.

List of rpms provided by this srpm:
libpicosat (e2kv6, e2kv5, e2kv4, e2k)
libpicosat-debuginfo (e2kv6, e2kv5, e2kv4, e2k)
libpicosat-devel (e2kv6, e2kv5, e2kv4, e2k)
picosat (e2kv6, e2kv5, e2kv4, e2k)
picosat-debuginfo (e2kv6, e2kv5, e2kv4, e2k)
python3-module-picosat (e2kv6, e2kv5, e2kv4, e2k)
python3-module-picosat-debuginfo (e2kv6, e2kv5, e2kv4, e2k)

Maintainer: Eugeny A. Rostovtsev