Module Lang.Rand_tropical_lia_1000

Random tropical WFA benchmark — bounded tropical, integer-arithmetic encoding, bound = 1000.

Like Rand_tropical_lia_100 but with bound = 1000. Uses Tropical_lia.get (Some 1000) (QF_LIA).

module Log : sig ... end
val semi_bound : int
module S : sig ... end
module Matrix : sig ... end
module Aut : sig ... end
val alpha : int -> (Automata.Char.t, Automata.Char.comparator_witness) Base.Set.t
val aut : Base.Int.t -> int -> Aut.t
val get : Base.Int.t -> Base__Int.t -> (module Intf.T)