Logic Insight
Interactive Constraint Solver with DPLL and Information-Theoretic Metrics
Enter CNF Formula:
Input should be in a valid CNF format.
Solve
Toggle Metrics
Solution
No solution computed yet.
Information-Theoretic Metrics
Metrics are hidden.