From c0a0afab655d0cd8ee8ad60ebf901478be379e4a Mon Sep 17 00:00:00 2001 From: Hamed Gorjiara Date: Tue, 31 Jul 2018 17:27:10 -0700 Subject: [PATCH] Adding a python API for mustHaveValue abstraction --- src/pycsolver.py | 2 ++ 1 file changed, 2 insertions(+) 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] -- 2.34.1