4 csolverlb = cdll.LoadLibrary("lib_cons_comp.so")
5 csolverlb.createCCSolver.restype = c_void_p
6 csolverlb.createSet.argtypes = [c_void_p, c_uint, POINTER(c_long), c_uint]
7 csolverlb.createSet.restype = c_void_p
8 csolverlb.getElementVar.argtypes = [c_void_p, c_void_p]
9 csolverlb.getElementVar.restype = c_void_p
10 csolverlb.createPredicateOperator.argtypes = [c_void_p, c_uint, POINTER(c_void_p), c_uint]
11 csolverlb.createPredicateOperator.restype = c_void_p
12 csolverlb.applyPredicate.argtypes = [c_void_p, c_void_p, POINTER(c_void_p), c_uint]
13 csolverlb.applyPredicate.restype = c_void_p
14 csolverlb.addConstraint.argtypes = [c_void_p, c_void_p]
15 csolverlb.addConstraint.restype = None
16 csolverlb.solve.argtypes = [c_void_p]
17 csolverlb.solve.restype = c_int
18 csolverlb.getElementValue.argtypes = [c_void_p, c_void_p]
19 csolverlb.getElementValue.restype = c_long
20 csolverlb.deleteCCSolver.argtypes = [c_void_p]
21 csolverlb.deleteCCSolver.restype = None