+Rendering lines for 3SAT implication graph

+SAT Refactor

+Process Clauses

+Large Implication Graph Example

+Clause Redesign

+[August 6] Download Example + Notes

+[August 7] Dev notes

+[August 20] Placing Known Terms

+[August 30] Reestablish the Goal