alla flaggor
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Källkod: minisat2  ]

Paket: minisat2 (1:2.2.1-5 och andra)

Länkar för minisat2

Screenshot

Debianresurser:

Hämta källkodspaketet minisat2:

Ansvarig:

Externa resurser:

Liknande paket:

Transitional package for minisat

This is a transitional package for minisat, and can be safely removed after the installation is complete.

Märken: Field: Matematik, Implemented in: C++, Role: Program

Paket som tillhandahåller minisat2

minisat
Fast and lightweight SAT solver

Andra paket besläktade med minisat2

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta minisat2

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
amd64 1:2.2.1-5+b3 5,1 kbyte13,0 kbyte [filförteckning]
arm64 1:2.2.1-5+b3 5,1 kbyte13,0 kbyte [filförteckning]
armel 1:2.2.1-5+b3 5,1 kbyte13,0 kbyte [filförteckning]
armhf 1:2.2.1-5+b3 5,1 kbyte13,0 kbyte [filförteckning]
i386 1:2.2.1-5+b3 5,1 kbyte13,0 kbyte [filförteckning]
mips64el 1:2.2.1-5+b3 5,1 kbyte13,0 kbyte [filförteckning]
mipsel 1:2.2.1-5+b3 5,1 kbyte13,0 kbyte [filförteckning]
ppc64el 1:2.2.1-5+b3 5,1 kbyte13,0 kbyte [filförteckning]
s390x 1:2.2.1-5+b3 5,1 kbyte13,0 kbyte [filförteckning]