Cubicle 1.1.2 documentation and source : Solver.Make.assume

let assume cnf ~cnumber =
  let cnf = List.map (List.map Solver_types.add_atom) cnf in
  init_solver cnf ~cnumber