File: control

package info (click to toggle)
picosat 632-1
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 168 kB
  • ctags: 458
  • sloc: ansic: 4,701; sh: 112; makefile: 66
file content (13 lines) | stat: -rw-r--r-- 409 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
Source: picosat
Section: science
Priority: extra
Maintainer: Michael Tautschnig <mt@debian.org>
Build-Depends: debhelper (>= 5)
Standards-Version: 3.8.0

Package: picosat
Architecture: any
Depends: ${shlibs:Depends}
Description: SAT solver with proof and core support
 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.