Adding a variable for counting the number of clauses
authorHamed Gorjiara <hgorjiar@uci.edu>
Thu, 13 Sep 2018 22:10:15 +0000 (15:10 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Thu, 13 Sep 2018 22:10:15 +0000 (15:10 -0700)
commit7c07450f8c8a3878de97508054a1399aa6d761f1
treed6502e2b3d9b67844e8c2b32911d4bf71b59a29e
parentca3ae4aa26a9e1ae3377645c5e93155d2a5df905
Adding a variable for counting the number of clauses
src/Backend/constraint.cc
src/Backend/constraint.h