CECSATSolver CEC-SAT verification software for ISTD 2D Design Challenge Team members: ---------------------------------------------------------------------------------------------------------- Cheong Renjie Joshua 1000077 Kang Yue Sheng Benjamin 1000069 Liza Ng Yu Shan 1000097 Chew Guan Xun 1000037 Tan En Yi (needs further verification on participation due to sick leave) Instructions: ---------------------------------------------------------------------------------------------------------- Open "src.sat.SATSolverTest.java" after adding project to your Java IDE (e.g Eclipse) Some sample test cases download from the web are avaliable in "/test_cases" Do note that number of clauses or literals are not representative of "difficulty" of test cases. Test cases are verified with online javascript SAT solver at http://www.comp.nus.edu.sg/~gregory/sat/