import SignsInstance from '@problem-solving/sat/src/core/convert/SignsInstance.js'SignsInstance
Allows to produce an assignment format that makes sense in sign 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 signs 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. |