[ Pakiet źródłowy: cadical ]
Pakiet: libcadical-dev (1.7.4-1 i inne)
Odnośniki dla libcadical-dev
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego cadical:
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [fmv.jku.at]
Podobne pakiety:
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.
Pobieranie libcadical-dev
| Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|---|
| armel | 1.7.4-1+b1 | 327,8 KiB | 1 511,0 KiB | [lista plików] |