Program without algorithm

I added pretty much everything that's needed. All that is left is to add
the algorithm that compares Boolean values. Right now, the program
includes a file reader (as a separate module; not yet integrated with
the variable creator) and the variable creator. The variable creator
basically creates an array for each clause, then maps 1:1 values
corresponding to the variables. For example, 1 3 -4 0 would create a
clause with a int[4] var. The contents of var[] would be [0 1 0 3 -4 0].