6.825 Project 1b

Packages
techniques.FOL  
techniques.FOL.parser  
techniques.PL  
techniques.solvers