---
name: "edos-pscheck"
section: "1"
platform: "linux"
package: "edos-distcheck"
version: "1.4.2-13+b1"
release: "Debian 7 (Wheezy)"
platforms: ["linux"]
url: "https://new.carta.tech/edos-pscheck"
---

# edos-pscheck(1)

Check satisfiability of pkgsrc package dependencies

## NAME

Edos-pscheck - Check satisfiability of pkgsrc package dependencies

## SYNOPSIS

**edos-pscheck** \[option\] ... pkg-summary-file

## DESCRIPTION

**edos-pscheck** reads package descriptions from a file in the pkg\_summary format of NetBSD.  We say that a package is identified by the pair consisting of the *package name* and of the *package version.*

A package (called goal) is called *installable* with respect to a set of packages if there exists a subset of the packages that\
  \- contains at most one version for each package name\
  \- contains the goal package (in any version, or a specific version)\
  \- all packages of the subset have their dependencies and conflicts satisfied  in this subset.

**Edos-psmcheck** checks whether every package in the set is installable with respect to the input set of packages. Specific versions can be specified by following the package name with the sign '=' and the version of the package (for instance, 'xemacs21=21.4.17-1'). If no package name is given as argument then all packages of the input set are checked for satisfiability.

The constraint solving algorithm is complete, that is it finds a solution whenever there exists one, even for multiple disjunctive dependencies and deep package conflicts. This problem is computationally infeasible in theory (that is, NP-complete), but can in practice be solved very efficiently.

## OPTIONS

- **-explain**

  Explain the results

- **-rules**

  Print generated rules

- **-failures**

  Only show failures

- **-successes**

  Only show successes

- **-base *file***

  Specifiy an additional file providing packages that are not checked but used for resolving dependencies

- **-quiet**

  Supress warnings and progress/timing messages

- **-xml**

  Output results in XML format

- **-help, --help**

  Display this list of options

## EXAMPLE

Check which packages in a particular distribution are not installable and why:

  edos-pscheck -failures -explain pkg\_summary

where pkg\_summary is the file pertaining to that distribution.

## AUTHOR

Edos-pscheck has been written by Jerome Vouillon and Jaap Boender for the EDOS and Mancoosi projects. This man-page has been compiled by Ralf Treinen.

## SEE ALSO

\<http://www.edos-project.org\> is the home page of the EDOS project.

[**edos-debcheck**(1)](/edos-debcheck/1.md) and  [**edos-rpmcheck**(1)](/edos-rpmcheck/1.md) are the analogous tool for debian and rpm packages.