package electrod

  1. Overview
  2. Docs

Parameters

module Ltl : Solver.LTL

Signature

type atomic = Ltl.Atomic.t
val syms_to_ltl : Elo.t -> (string * Ltl.t) S.t
val split_invar_noninvar_fmls : Elo.t -> Elo.fml list -> Elo.fml list * Elo.fml list * Elo.fml list * Elo.fml list
val dualise_fmls : Elo.fml list -> Elo.fml
val run : Elo.t -> Model.t
OCaml

Innovation. Community. Security.