Skip to content
Sections
>> Trisquel >> Paket >> aramo >> libs >> libcryptominisat5-5.8
aramo  ]
[ Källkod: cryptominisat  ]

Paket: libcryptominisat5-5.8 (5.8.0+dfsg1-2)

SAT solver library

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

This package provides a shared library to link against the CryptoMiniSat library.

Andra paket besläktade med libcryptominisat5-5.8

  • beror
  • rekommenderar
  • föreslår
  • dep: libc6 (>= 2.29)
    GNU C Library: Shared libraries
    också ett virtuellt paket som tillhandahålls av libc6-udeb
  • dep: libgcc-s1 (>= 3.3.1)
    GCC support library
  • dep: libm4ri-0.0.20200125 (>= 20200125)
    Method of the Four Russians Inversion library, shared library
  • dep: libstdc++6 (>= 11)
    GNU Standard C++ Library v3

Hämta libcryptominisat5-5.8

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 377,6 kbyte893 kbyte [filförteckning]