WIP: Migrated main solver dialog to OCaml