Pakket: libcryptominisat5-5.11t64 (5.11.21+dfsg1-1 en anderen)

[ Bron: cryptominisat  ]

SAT solver library

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

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

Andere aan libcryptominisat5-5.11t64 gerelateerde pakketten

• dep: libc6 (>= 2.34)

  GNU C Bibliotheek: Gedeelde bibliotheken
  Ook een virtueel pakket geboden door: libc6-udeb

• dep: libgcc-s1 (>= 3.4)

  GCC support bibliotheek

• dep: libstdc++6 (>= 13.1)

  GNU Standard C++ Library v3

libcryptominisat5-5.11t64 downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
riscv64	5.11.21+dfsg1-1+b3	534,3 kB	1.140,0 kB	[overzicht]