Adding a python API for mustHaveValue abstraction
authorHamed Gorjiara <hgorjiar@uci.edu>
Wed, 1 Aug 2018 00:27:10 +0000 (17:27 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Wed, 1 Aug 2018 00:27:10 +0000 (17:27 -0700)
src/pycsolver.py

index 6806674..ba49d77 100644 (file)
@@ -99,6 +99,8 @@ def loadCSolver():
        csolverlb.orderConstraint.restype = c_void_p
        csolverlb.solve.argtypes = [c_void_p]
        csolverlb.solve.restype = c_int
+        csolverlb.mustHaveValue.argtypes = [c_void_p, c_void_p]
+       csolverlb.mustHaveValue.restype = c_void_p
        csolverlb.getElementValue.argtypes = [c_void_p, c_void_p]
        csolverlb.getElementValue.restype = c_long
        csolverlb.getBooleanValue.argtypes = [c_void_p, c_void_p]