Migrated main solver dialog to OCaml