package bddrand

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `BddRandom`Source

A simple front-end to the lutin Random toss machinary

Sourceval 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)

Sourceval 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