Added .gitignore
Added literal, clause, formula
Added Makefile