Package picosat: Information

Binary package: picosat

Version: 965-alt3

Architecture: aarch64

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

Source package: picosat

Category: Sciences/Mathematics

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

Download: picosat-965-alt3.aarch64.rpm

Build log: https://git.altlinux.org/tasks/311250/build/6700/aarch64/log

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.

Maintainer: Eugeny A. Rostovtsev

ACL:
Anton Farygin
@everybody