- Name: picosat
- Version: 965
- Release: 1
- Epoch:
- Group: Applications
- License: MIT
- Url: http://fmv.jku.at/picosat/
- Summary: A SAT solver
- Architecture: i686
- Size: 79480
- Distribution: PLD 3.0 (Th)
- Vendor: PLD
- Packager: PLD bug tracking system ( http://bugs.pld-linux.org/ )
Description:
PicoSAT solves the SAT problem, which is the classical NP complete
problem of searching for a satisfying assignment of a propositional
formula in conjunctive normal form (CNF). PicoSAT can generate proofs
and cores in memory by compressing the proof trace. It supports the
proof format of TraceCheck.
- OptFlags:
- Cookie: ep09-pld 1543703799
- Buildhost: ep09-pld