Package picosat: Information

Source package: picosat

Version: 965-alt3

Build time:  Jun 8, 2023, 12:46 AM in the task #311250

Category: Sciences/Mathematics

Gear: https://git.altlinux.org/gears/p/picosat.git?a=tree;hb=75d266377…

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 (x86_64, ppc64le, i586, armh, aarch64)
libpicosat-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
libpicosat-devel (x86_64, ppc64le, i586, armh, aarch64)
picosat (x86_64, ppc64le, i586, armh, aarch64)
picosat-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
python3-module-picosat (x86_64, ppc64le, i586, armh, aarch64)
python3-module-picosat-debuginfo (x86_64, ppc64le, i586, armh, aarch64)

Maintainer: Eugeny A. Rostovtsev

ACL:
Anton Farygin
@everybody