X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fpycsolver.py;h=461a8590b74f845c48f68e36079b6a4a108d8c89;hb=081e954fa3566ad9a2522ca45bef8e29472d2a72;hp=000ff18f63663264b44bf508637cc241cd83ac03;hpb=0097f3d8e023e8ac1158436fe9aac33f93681f8d;p=satune.git

diff --git a/src/pycsolver.py b/src/pycsolver.py
index 000ff18..461a859 100644
--- a/src/pycsolver.py
+++ b/src/pycsolver.py
@@ -87,6 +87,8 @@ def loadCSolver():
 	csolverlb.applyPredicate.restype = c_void_p
 	csolverlb.applyLogicalOperation.argtypes = [c_void_p, c_uint, c_void_p, c_uint]
 	csolverlb.applyLogicalOperation.restype = c_void_p
+	csolverlb.applyExactlyOneConstraint.argtypes = [c_void_p, c_void_p, c_uint]
+	csolverlb.applyExactlyOneConstraint.restype = c_void_p
 	csolverlb.applyLogicalOperationTwo.argtypes = [c_void_p, c_uint, c_void_p, c_void_p]
 	csolverlb.applyLogicalOperationTwo.restype = c_void_p
 	csolverlb.applyLogicalOperationOne.argtypes = [c_void_p, c_uint, c_void_p]