package
0.4.0
Repository: https://github.com/booleworks/logicng-go.git
Documentation: pkg.go.dev

# Functions

DefaultConfig returns the default configuration for a randomizer configuration.
New generates a new formula randomizer with the given formula factory and an optional randomizer configuration.
NewWithSeed generates a new formula randomizer with the given formula factory and the default randomizer configuration with the given seed.

# Structs

Config describes the configuration of a formula randomizer with weights for all different formula types.
A FormulaRandomizer can be used to generate randomized formulas.