Added compile-time option to enable the OCaml solver (for testing)