import ParitiesInstance from '@problem-solving/sat/src/core/convert/ParitiesInstance.js'ParitiesInstance
Holds all properties of a k-CNF SAT instance in parity format.
Constructor Summary
| Public Constructor | ||
| public |
constructor(clauses: number[][]) Clauses are in parity format. |
|
Method Summary
| Public Methods | ||
| public |
assignment(certificate: number[]): number[] Returns assignment vector in parity format. |
|
Public Constructors
public constructor(clauses: number[][]) source
Clauses are in parity format.
Params:
| Name | Type | Attribute | Description |
| clauses | number[][] | The clauses in parity format. |