Slvr.Sol'
type marshal = Goblint_solver.Selector.Make(PostSolverArg)(EqSys)(VH).marshal
val copy_marshal : marshal -> marshal
val relift_marshal : marshal -> marshal
val solve : (EqSys.v * EqSys.d) list -> EqSys.v list -> marshal option -> EqSys.d VH.t * marshal