From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Wed, 1 Aug 2018 00:27:10 +0000 (-0700)
Subject: Adding a python API for mustHaveValue abstraction
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=c0a0afab655d0cd8ee8ad60ebf901478be379e4a

Adding a python API for mustHaveValue abstraction
---

diff --git a/src/pycsolver.py b/src/pycsolver.py
index 6806674..ba49d77 100644
--- a/src/pycsolver.py
+++ b/src/pycsolver.py
@@ -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]