LogicSpace

dbf0869d6fd2 UNKNOWN 0 evals
| Trail:

Tension

0%
0 backbones / 0 vars

Conditional Power

0%
reachable via 1-lit entries

Dictionary

0
entries, max 0x • gain 0

Coverage

0%
0 dead zone vars

Latent Energy

0
near-miss (0 lits pending)

Compute

-
0 conflicts • depth 0

Top Implications (click to explore)

AssumeDeducesRatio

Achilles Heel (click to decide)

loading...

Assumption → Assertion (type literals, press enter)

IF
Type an assumption to see what follows.
Prove: =>