karipov/sat-solver

Iterative DPLL SAT Solver with occurrence lists, jeroslow-wang heuristic

Julia