class intprojection :associate a sat solver variable to a package idint ->
object
..end
val vartoint : int Common.Util.IntHashtbl.t
val inttovar : Common.Util.IntHashtbl.key array
val mutable counter : int
method add : Common.Util.IntHashtbl.key -> unit
method vartoint : Common.Util.IntHashtbl.key -> int
method inttovar : int -> Common.Util.IntHashtbl.key