ISTD 2D Challenge - 50.002 section
-
You can fork a copy of this repo and clone to your computer.
-
Create a new branch using
git checkout -b BRANCHNAME
-
Commit the code and push to a new branch, and open a pull request.
The rule of thumb is that don't push code to master branch directly.
The idea is adapated from the 50.002 2D handout. See the diagram in the handout.
Console Output
Parsing from /home/administrator/WebBC2CNF/files/adder32bit_1004514.bc
Using file format version 1.1
The circuit has 760 gates
The circuit has 728 gates and 1171 edges after sharing
The circuit has 697 gates after CNF normalization
The circuit has 695 gates and 1136 edges after sharing
The max-min height of the circuit is 8
The max-max height of the circuit is 66
The circuit has 695 relevant gates
The circuit has 65 relevant input gates
Computing cnf size... done
The cnf has 539 variables and 1614 clauses
Printing the CNF formula...
Done
At ./CS2D/
, run java -jar findsolssat/findsolssat.jar lookahead.cnf
Expected: Unsat : true