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