picosat 632-1 (i386 binary) in ubuntu intrepid
PicoSAT is a SAT solver turned out to be faster on industrial instances than
MiniSAT 2.0 and also can generate proofs and cores in memory.
Details
- Package version:
- 632-1
- Status:
- Obsolete
- Component:
- universe
- Priority:
- Extra
Downloadable files
i386 build of picosat 632-1 in ubuntu intrepid RELEASE produced
these files:
- picosat_632-1_i386.deb (24.4 KiB)
Package relationships
- Depends on: