Paket: cadical (1.7.4-1) [debports]

cadical için bağlantılar

Debian Kaynakları:

Hata Raporları

Kaynak Paketini İndir:

Bulunamadı

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [fmv.jku.at]

Benzer paketler:

libcadical-dev
cvc4
cvc5
rapmap-example-data
libgecode49t64
libgecode-dev
libgecode49
libgecode-doc
libgecode48
rapmap
rapmap-dev

Simplified Satisfiability Solver

CaDiCaL is a CDCL solver that is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.

This package contains binaries needed to use CaDiCaL as a stand-alone tool.

cadical ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libc6 (>= 2.34)

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
dep: libgcc-s4 (>= 4.1.1)

GCC support library
dep: libstdc++6 (>= 13.1)

GNU Standard C++ Library v3

cadical indir

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
hppa (resmi olmayan port)	380,6 kB	1.973,0 kB	[dosya listesi]