package bddrand

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

A simple front-end to the lutin Random toss machinary

val verbose : int Stdlib.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