eLxr packages [ aria ]
[ bianca ]
[ Pakiet źródłowy: cadical ]
Pakiet: libcadical-dev (1.5.3-2)
Odnośniki dla libcadical-dev
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 | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| amd64 | 280,8 KiB | 1 522,0 KiB | [lista plików] |
| arm64 | 262,2 KiB | 1 556,0 KiB | [lista plików] |