boltzgen

Generate tests using boltzman sampling
Library boltzgen
Module Boltzgen_runtime . Math
val sort_add_poly : ('a * float) -> ('a * float) list -> ('a * float) list
val mult_poly : float -> ('a * float) list -> ('b * float) list
val add_poly : ('a * float) list -> ('a * float) list -> ('a * float) list
val eval_poly : float -> (int * float) list -> float * float
val print_poly : out_channel -> (int * float) list -> unit
val dichotomie : ?verbose:int -> ?factor:float -> ?relax:float -> ?low:(float * float) -> ?up_bound:bool -> (float * float) -> ( float -> float * 'a ) -> float -> float
exception Zero_derivative
val newton_raphson_iterate : ?factor:float -> ?max_iter:int -> ?bound:(float * float) -> ( float -> float * float ) -> float -> float
val newton_raphson_multivariate : ?factor:float -> ?max_iter:int -> ( float array -> float array * float array ) -> float array -> float array
val geom_law : float -> float -> int
module Array : sig ... end
val foldmap_range : ( 'a -> 'b -> 'c ) -> ( int -> 'd ) -> (int * int) -> 'e
val fold_range : ( 'a -> int -> 'b ) -> 'c -> (int * int) -> 'd
val swap_elem : 'a array -> int -> int -> unit
val maxtup : ('a * 'b) -> ('a * 'b) -> 'a * 'b
val augmented_matrix : 'a array array -> 'b array -> 'a array array
val pf : out_channel -> float -> unit
val print_mat : out_channel -> float array array -> unit
val print_vec : out_channel -> float array -> unit
val print_vec_list : out_channel -> float array list -> unit
exception Matrix_singular
val solve : float array array -> float array -> float array