This directory contains some of the examples from the orginal paper

@inproceedings{DiCosmoVouillon2011ESEC,
  author    = "Roberto Di Cosmo and J{\'e}r{\^o}me Vouillon",
  title     = "On software component co-installability",
  booktitle = "SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations
               of Software Engineering (FSE-19) and ESEC'11: 13rd European
               Software Engineering Conference (ESEC-13)",
  editor    = "Tibor Gyim{\'o}thy and Andreas Zeller",
  address   = "Szeged, Hungary",
  month     = 9,
  year      = 2011,
  pages     = "256--266",
  ee        = "http://doi.acm.org/10.1145/2025113.2025149",
  publisher = {ACM},
  isbn      = {978-1-4503-0443-6},
}

To run coinst on an example file, say input:

  coinst -all -o input.dot < input

You get on standard output the equivalence classes of installable packages,
the list of not installable packages, and the list of co-installable pairs.
The graph representation of the kernel can be inspected with 

  dotty input.dot



