minisat
Fast and lightweight SAT solver
Binary packages in oldstable
| Architecture | Version | Section | Installed size |
|---|---|---|---|
| amd64 | 1:2.2.1-5+b3 | science | 405 kB |
| arm64 | 1:2.2.1-5+b3 | science | 403 kB |
| armel | 1:2.2.1-5+b3 | science | 381 kB |
| armhf | 1:2.2.1-5+b3 | science | 333 kB |
| i386 | 1:2.2.1-5+b3 | science | 383 kB |
| mips64el | 1:2.2.1-5+b3 | science | 462 kB |
| mipsel | 1:2.2.1-5+b3 | science | 401 kB |
| ppc64el | 1:2.2.1-5+b3 | science | 527 kB |
| s390x | 1:2.2.1-5+b3 | science | 428 kB |
Description
Fast and lightweight SAT solver
Dependencies amd64
- Depends
- libc6 (>= 2.4), libgcc1 (>= 1:3.0), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4)
Source package
- Name
- minisat2
- Version
- 1:2.2.1-5
- Maintainer
- Michael Tautschnig
- Homepage
- http://minisat.se/
- Repository
- http://github.com/niklasso/minisat
Bugs (0 open)
No matching bugs recorded in this snapshot.