Cubicle 1.1.2 documentation and source : Solver

let clear () =
  cpt_mk_var := 0;
  ma := MA.empty