let solvers = 
  let a = Array.create (fun e -> [e]) in
    List.iter
      (fun (i, m) -> 
         Array.set a i m)
      [la, Arith.solve;
       p, Pair.solve;
       bv, Bitvector.solve;
       cop, Coproduct.solve];
    a