-
Properties
-
Total cells
-
Realized
-
Impossible
-
Open
-
Fill rate
Implication Graph
Proven implications between properties.
Cell Explorer
Enable properties with checkboxes, then filter by T / F / A (any). Disabled properties are hidden from the table.
Witnesses
| File | Description | Vertices | Properties |
|---|
Contradictions
| ID | Assignments | Minimal | Notes |
|---|