Util.intprojection
intprojection n integer projection of size n
intprojection n
n
method add : int -> unit
add a package id to the map
method inttovar : int -> int
given a package id return a sat solver variable raise Not_found if the package id is not known
method vartoint : int -> int
given a sat solver variable return a package id
method size : int