libsolv-dev - 0.7.31-1 main

This dependency solver code in this package is based on two major, but
independent, blocks:
.
1. Using a dictionary approach to store and retrieve package
and dependency information.
2. Using satisfiability, a well known and researched topic, for
resolving package dependencies.
.
This package contains development files for libsolv.