Merge pull request #4 from powerist/working

Fix bug for gmp
Add sdn-constraint.h