Index of class types

P
projection [Common.Util]

associate a sat solver variable to a package id