Sisyphus repository
Last update: 1 october 2023 | SRPMs: 18631 | Visits: 37471209
en ru br
ALT Linux repos
S:965-alt3

Group :: Sciences/Mathematics
RPM: picosat

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR  Repocop 

Current version: 965-alt3
Build date: 12 july 2020, 12:02 ( 197.2 weeks ago )
Size: 58.38 Kb

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.

Current maintainer: Eugeny A. Rostovtsev (REAL)

List of contributors

List of rpms provided by this srpm:

  • libpicosat
  • libpicosat-debuginfo
  • libpicosat-devel
  • picosat
  • picosat-debuginfo
  • python-module-picosat-debuginfo
  • python-module-picosat
  • python3-module-picosat
  • python3-module-picosat-debuginfo
ACL:
     
    design & coding: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    current maintainer: Michael Shigorin