Array implementation of SAT solver

Uses arrays instead of lists for faster operation