Add SAT object code

  - Add basis of SAT object which will be operated on by the algorithms. Still needs more work so it can parse a CNF file.