Pakiet: libcadical-dev (1.7.4-1 i inne) [debports]
Odnośniki dla libcadical-dev
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
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 |
|---|---|---|---|---|
| hppa (port nieoficjalny) | 1.7.4-1+b1 | 374,7 KiB | 1 688,0 KiB | [lista plików] |