Variable
| Static Public Summary | ||
| public |
from_: {"parities": *, "signs": *, "keys": *, "dcnf": *} The input is converted to parity format in each case. |
|
Static Public
public from_: {"parities": *, "signs": *, "keys": *, "dcnf": *} source
import from_ from '@problem-solving/sat/src/api/from.js'The input is converted to parity format in each case.