package lutin

You can search for identifiers within the package.

in-package search v0.2.0

Lutin: modeling stochastic reactive systems

Install

sha256=8a72b7832cc7ce4e08d36c46611ec58278cf890fb70e62b4093003605d777704

md5=3b8375658938b3757ab2a14e5a54a51a

A simple front-end to the lutin Random toss machinary

val verbose : int ref

val draw : 
  ?number:int ->
  Exp.var list ->
  Exp.var list ->
  Exp.formula ->
  (string * bool) list list

draw bvl nvl f draw values according to constraints contained in f

bvl contains Bool vars to gen
nvl contains numeric vars to gen
bvl and nvl should contains at least all the variables appearing in f.
The optional argument number controls the number of draw to be done (1 by default)

val draw_in_dimacs_file : ?number:int -> string -> (string * bool) list list

draw_in_dimacs_file dimacs_file

Do the same job a draw, by looking for constraints in a dimacs file