https://github.com/vectorized/cecsatsolver
CEC-SAT verification software for ISTD 2D Design Challenge
https://github.com/vectorized/cecsatsolver
Last synced: 5 months ago
JSON representation
CEC-SAT verification software for ISTD 2D Design Challenge
- Host: GitHub
- URL: https://github.com/vectorized/cecsatsolver
- Owner: Vectorized
- Created: 2013-11-08T13:48:09.000Z (about 12 years ago)
- Default Branch: master
- Last Pushed: 2013-11-18T18:53:11.000Z (about 12 years ago)
- Last Synced: 2025-08-19T10:30:33.179Z (5 months ago)
- Language: Java
- Size: 4.17 MB
- Stars: 1
- Watchers: 5
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.txt
Awesome Lists containing this project
README
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/