Pakket: libcryptominisat5-5.11 (5.11.4+dfsg1-2 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.

Tags: Role: Shared Library

Andere aan libcryptominisat5-5.11 gerelateerde pakketten

• dep: libc6 (>= 2.34)

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

• dep: libgcc-s1 (>= 4.2)

  GCC support bibliotheek

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

  GNU Standard C++ Library v3

libcryptominisat5-5.11 downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
ppc64el	5.11.4+dfsg1-2+b1	529,9 kB	1.686,0 kB	[overzicht]