1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
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
|
