picosat 965-2 source package in Ubuntu
Changelog
picosat (965-2) unstable; urgency=medium * Use dpkg buildtools.mk supply cross tools via environment - Thank you, Helmut Grohne! (Closes: #978542) * Add myself to uploaders * Add "Rules-Requires-Root: no" * Propagate hardening options properly -- Nilesh Patra <email address hidden> Sun, 21 Feb 2021 12:17:23 +0530
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- science
- Urgency:
- Medium Urgency
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
picosat_965-2.dsc | 1.9 KiB | 168fbe18ee5a122b24c46940e5582c12c28e3125e5e9c795b462495c34d6eafc |
picosat_965.orig.tar.gz | 62.9 KiB | 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754 |
picosat_965-2.debian.tar.xz | 6.2 KiB | ba73741659fa30e97fcf54e720b70179cd82d22b8001ee4970cf6eda9fa27c7a |
Available diffs
- diff from 965-1 to 965-2 (1.4 KiB)
No changes file available.
Binary packages built by this source
- picosat: 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.
- picosat-dbgsym: debug symbols for picosat