|
Peano
|
When to push the solution back onto the algebraic CCZ4 constraints. More...


Static Public Attributes | |
| int | No = 0 |
| int | OnlyFinalSolution = 1 |
| int | IntermediateSteps = 2 |
When to push the solution back onto the algebraic CCZ4 constraints.
exagrype.api.CCZ4Solver.CCZ4Solver.enforce_ccz4_constraint()
Definition at line 63 of file CCZ4Solver.py.
|
static |
Definition at line 83 of file CCZ4Solver.py.
|
static |
Definition at line 81 of file CCZ4Solver.py.
|
static |
Definition at line 82 of file CCZ4Solver.py.