Libcudf is a library to manipulate so called cudf documents. a cudf document describe an upgrade problem, as faced by package managers in popular package-based gnu/linux distributions.

a cudf document consists of a package universe and of a user request. the package universe describes all packages known to the package manager, a subset of which (the package status) denotes the package being currently installed on the target machine. the user request denotes a change to the package status as requested by the user.

a cudf document is naturally complemented by a solution describing the resulting package status (if any) implementing the user request, as found by a package manager.

libcudf enables manipulation of cudf and related documents.

this package contains a c static library binding the ocaml implementation of libcudf so that it can be used from the c programming language.