Fixing some bugs + improving the testcase ...
authorHamed <hamed.gorjiara@gmail.com>
Fri, 7 Jul 2017 01:12:21 +0000 (18:12 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Fri, 7 Jul 2017 01:12:21 +0000 (18:12 -0700)
commit3c17d1f92ba70983fdd020de0a3875f11cce7647
tree2b0f14dd512f64ece7a418c0d6fdc881dcfb927b
parentccbff8107785c22e85395de2ed0478ebc57c1921
Fixing some bugs + improving the testcase ...
src/Collections/structs.c
src/Collections/structs.h
src/Test/buildconstraints.c
src/csolver.c
src/csolver.h