deb_control_files:
- control
- md5sums
- shlibs
- symbols
- triggers
deb_fields:
Architecture: arm64
Depends: libc6 (>= 2.34)
Description: |-
SAT solver with proof and core support
Despite the NP completeness of the satisfiabilty problem of Boolean formulas
(SAT), SAT solvers are often able to decide this problem in a reasonable time
frame. As all other NP complete problems are reducible to SAT, the solvers
have become a general purpose tool for this class of problems.
.
PicoSAT is a SAT solver that turned out to be faster on industrial instances
than MiniSAT 2.0 and also can generate proofs and cores in memory.
Homepage: http://fmv.jku.at/picosat/
Installed-Size: '1055'
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Package: picosat
Priority: optional
Section: science
Source: picosat (965-2)
Version: 965-2+b1
srcpkg_name: picosat
srcpkg_version: 965-2