python-constraint | Constraint Solving Problem resolver for Python

import constraint

problem = constraint.Problem()

problem.addVariable('x', range(2))
problem.addVariable('y', [1])

def our_constraint(x, y):
    if 2*x + 4*y == 6:
        return True

problem.addConstraint(our_constraint, ['x','y'])

so

# https://pypi.org/project/python-constraint/
from constraint import *

problem = Problem()
problem.addVariables(["a","b"],range(1,100000))
problem.addConstraint(ExactSumConstraint(5,[4,1]))
problem.getSolutions()

numbers = [11, 16, 18, 19, 61, 66, 68, 69, 81, 86, 88, 89, 91, 96, 98, 99]
target = 264

from constraint import *

problem = Problem()
problem.addVariables(range(16), numbers)

for i in range(4):
    # column i
    v = [ i + 4*j for j in r

import kiwisolver

x1 = kiwisolver.Variable('x1')
x2 = kiwisolver.Variable('x2')
x3 = kiwisolver.Variable('x3')
x4 = kiwisolver.Variable('x4')

constraints = [1995 <= 2*x1 + 4*x2 + 3*x3 + x4,
               2*x1 + 4*x2 + 3*x3 + x4 <=

flight_names = ['MI428', 'UL867', 'QR664', 'TK730', 'UL303']
flight_times = ['T-' + name for name in flight_names]
bays_list = ['A1', 'A2', 'B1', 'B2', 'C1']

times = range(20)   # or how many times you have

problem.addVariables(flight_na

from constraint import *

D = 7 # number of devices
L = 3 # number of locations

maxdev = [3,4,2]
allowed = [[1,3,7],[1,3,4,5,6,7],[2,4,5,6]]

problem = Problem()
problem.addVariables(["x_L%d_d%d" %(loc+1,d+1) for loc in range(L) for d in 

from constraint import Problem, ExactSumConstraint
problem = Problem()
MaximumSum = 10
MaxMultiplicationSum = 40
Variables = ("a", "b", "c", "d")
realKeys = {'a': 2, 'b': 3, 'c': 4, 'd': 5}
for Variable in Variables:
    problem.addVariabl

class product_template(models.Model):
    _inherit = 'product.template'

    @api.multi
    @api.constrains('seller_ids')
    def onchange_seller(self):
        for record in self :
            if not record.seller_ids :
                ra

from itertools import groupby

a = [10, 11, 12, 13, 14]
b = [15, 16, 17, 18, 19]
c = [20, 21, 22, 23, 24]

data = [a, b, c]

def keyfunc(t):
    return sum(t) > 50

for k, g in groupby(zip(*data), keyfunc):
    if k:
        g = list(g)