Working on newsolver
Scala sat example compiles and runs (but does nothing interesting)
Wow this is much easier
Sat runs, but is broken
Sat runs correctly
added unit clause optimization