Shaun2h/SATSOLVER

A Rudimentary SAT-Solver, for boolean equations. Applies some rules, then DPLL Brute force testing afterwards.

SATSOLVER.

An attempt at solving the SAT problem using only plain Java in-built libraries.
Relatively Messy.

Requirements

Java

Usage

Run the following after replacing line 18 of SatSolvertest.java with your file name.

javac SatSolvertest.java
java SatSolvertest.java

Implements DPLL at the end. Does NOT implement any 'rules' for boolean clauses with greater then 2 literals within.
Cheats in processing by some logic before implementing DPLL, reducing number of clauses that require heavy processing via DPLL's brute force work.