Added "NON" as a recognized token for the NOT (i.e. !) operator
Added SAT4J as a dependency, to solve UNSAT problems.

- Turned project into UTF-8 encoding
- First unit tests