equal
deleted
inserted
replaced
1033 end |
1033 end |
1034 else |
1034 else |
1035 (timeout, (solve_all, (max_solutions, (max_threads, kki)))) |
1035 (timeout, (solve_all, (max_solutions, (max_threads, kki)))) |
1036 |> let open XML.Encode in pair int (pair bool (pair int (pair int string))) end |
1036 |> let open XML.Encode in pair int (pair bool (pair int (pair int string))) end |
1037 |> YXML.string_of_body |
1037 |> YXML.string_of_body |
1038 |> \<^scala>\<open>kodkod\<close> |
1038 |> \<^scala_thread>\<open>kodkod\<close> |
1039 |> YXML.parse_body |
1039 |> YXML.parse_body |
1040 |> let open XML.Decode in triple int string string end |
1040 |> let open XML.Decode in triple int string string end |
1041 |
1041 |
1042 val (ps, nontriv_js) = |
1042 val (ps, nontriv_js) = |
1043 read_next_problems (Substring.full out, [], []) |
1043 read_next_problems (Substring.full out, [], []) |