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 }