SAT calculator is a simple and open souce editor for SAT formulas. It currently provides:
- Create and edit SAT formulas: Add variables, literals, and clauses with a real-time visual representation.
- Compute solutions dynamically: Calculate all possible variable valuations and highlight those that satisfy the formula.
- Deterministic solver: Ensures consistent results across runs.
- View real-time statistics: Monitor the number of solutions, total variables, and other relevant metrics.
- Resolution and clause operations: Apply resolution rules to clauses and literals while safely updating references.
- Export to CNF format: Export clauses in standard CNF form for use in other applications or solvers.
The SAT calculator is developed using WPF and .NET Framework 4.7.2 for Windows 10 and later.
