class type projection = object .. end
object
end
method add : int -> unit
int -> unit
given a package id return a sat solver variable raise Not_found if the package id is not known
method inttovar : int -> int
int -> int
method vartoint : int -> int