minisat
Fast and lightweight SAT solver
Binary packages in testing
| Architecture | Version | Section | Installed size |
|---|---|---|---|
| amd64 | 1:2.2.1-8 | science | 406 kB |
| arm64 | 1:2.2.1-8+b3 | science | 495 kB |
| armhf | 1:2.2.1-8 | science | 329 kB |
| i386 | 1:2.2.1-8 | science | 386 kB |
| loong64 | 1:2.2.1-8+b1 | science | 1,504 kB |
| ppc64el | 1:2.2.1-8 | science | 523 kB |
| riscv64 | 1:2.2.1-8 | science | 1,120 kB |
| s390x | 1:2.2.1-8 | science | 416 kB |
Description
Fast and lightweight SAT solver
Dependencies amd64
- Depends
- libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4)
Source package
- Name
- minisat2
- Version
- 1:2.2.1-8
- Maintainer
- Michael Tautschnig
- Homepage
- http://minisat.se/
Bugs (0 open)
No matching bugs recorded in this snapshot.