depqbf_stubs.c
/* Allocating an OCaml custom block to hold the given solver (QDPLL *) */
Allocating an OCaml custom block to hold the given solver (QDPLL *)
Allocating an OCaml custom block to hold the given solver ( QDPLL * )
static value alloc_solver(QDPLL * s)
{
  value v = alloc_custom(&depqbf_solver_ops, sizeof(QDPLL *), 0, 1);
  Solver_val(v) = s;
  return v;
}
static value alloc_solver ( QDPLL * s ) { value v = alloc_custom ( & depqbf_solver_ops , sizeof ( QDPLL * ) , 0 , 1 ) ; Solver_val ( v ) = s ; return v ; }
Allocating an OCaml custom block to hold the given solver (QDPLL *)
Allocating an OCaml custom block to hold the given solver ( QDPLL * )