Up
Index of class types
P
projection
[
Common.Util
]
associate a sat solver variable to a package id