Module Owl_symbolic_engine_owl.Make

Parameters

Signature

type t = G.graph
val to_symbolic : t -> Owl_symbolic_graph.t
val of_symbolic : Owl_symbolic_graph.t -> t
val save : 'a -> 'b -> unit
val load : 'a -> 'b