Tarkennettu haku
bookworm  ] [  trixie  ] [  sid  ]
[ Source: cadical  ]

Paketti: libcadical-dev (1.5.3-2)

Links for libcadical-dev

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti cadical:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

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.

Tagit: Software Development: Kirjastot, Role: Development Library

Imuroi libcadical-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
mips64el 305.6 kt1,997.0 kt [tiedostoluettelo]