Class: SATGenerator

SATGenerator(params)

Class for generating SAT problem instances

Constructor

new SATGenerator(params)

Class constructor
Parameters:
Name Type Description
params object parameters of the generated instance
Source:

Methods

generate() → {String}

Generate instance based on parameters
Source:
Returns:
instance of SAT problem coded as String
Type
String