added flag for armadillo
Enhanced the class to accept custom clauses
removed files with bad names
no need for this test anymore.
removed files with bad names
Created the Parser for PCNF files
Created class to solve PSAT problems
updated gitignore
New main just call the PSATsolver function