[ Kaynak: cadical ]
Paket: libcadical-dev (1.7.4-1 ve diğerleri)
libcadical-dev için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
cadical Kaynak Paketini İndir:
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [fmv.jku.at]
Benzer paketler:
Simplified Satisfiability Solver (development files)
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 development files for CaDiCaL. Install it if you want to develop applications that use CaDiCaL's API.
libcadical-dev indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| amd64 | 1.7.4-1+b1 | 343,9 kB | 1.836,0 kB | [dosya listesi] |
| arm64 | 1.7.4-1+b1 | 325,0 kB | 1.856,0 kB | [dosya listesi] |
| armel | 1.7.4-1+b1 | 327,8 kB | 1.511,0 kB | [dosya listesi] |
| armhf | 1.7.4-1+b1 | 333,4 kB | 1.285,0 kB | [dosya listesi] |
| i386 | 1.7.4-1+b1 | 385,7 kB | 1.623,0 kB | [dosya listesi] |
| mips64el | 1.7.4-1+b1 | 372,9 kB | 2.364,0 kB | [dosya listesi] |
| ppc64el | 1.7.4-1+b1 | 366,3 kB | 2.136,0 kB | [dosya listesi] |
| riscv64 | 1.7.4-1+b1 | 1.273,0 kB | 13.109,0 kB | [dosya listesi] |
| s390x | 1.7.4-1+b1 | 363,6 kB | 1.991,0 kB | [dosya listesi] |