Command-line Java SAT solver supporting DIMACS input
-
Updated
May 17, 2025 - Java
#
boolean-satisfiability
Here are 3 public repositories matching this topic...
A high-performance Java logic engine that solves N x N Sudoku puzzles by reducing game constraints to Boolean Satisfiability (SAT) instances using CNF encoding and the Sat4j library.
java reduction np-complete sudoku-solver cnf sat-solver computational-complexity boolean-satisfiability algorithm-design sat4j
-
Updated
Dec 14, 2025 - Java
Algorithms project for City University Y1 IN1002.
-
Updated
Nov 1, 2023 - Java
Improve this page
Add a description, image, and links to the boolean-satisfiability topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the boolean-satisfiability topic, visit your repo's landing page and select "manage topics."