let init_solver_univ ?(buffer=false) univ = let map = new identity in let pool = SolverPool (strip_cudf_pool (init_pool_univ univ)) in { constraints = init_solver_cache ~buffer pool ; map = map }