hsim/exm/zelus/solve/main.ml

10 lines
139 B
OCaml

open Std
let input () = ()
let output () = flush stdout
let () =
Runtime.parse_args ();
Runtime.go_discrete input Time.main output