""" PyCSP3 Model (see pycsp.org) Execution: python Nfractions.py """ from pycsp3 import * digits = VarArray(size=9, dom=range(1, 10)) a, b, c, d, e, f, g, h, i = digits satisfy( AllDifferent(digits), a * (10 * e + f) * (10 * h + i) + d * (10 * b + c) * (10 * h + i) + g * (10 * b + c) * (10 * e * f) == (10 * b + c) * (10 * e + f) * (10 * h + i) )