Esempi in Python per constrain

Esempio n. 1

File: example_mod17.py Progetto: CartesianDaemon/pylogram

from pylogram import constrain, default_vars as vars

constrain(   vars.a + 5*vars.b == 22 , mod=17 )
constrain( 2*vars.a +   vars.b == -5 , mod=17 )

print( " >> a , b =", vars.a, ",", vars.b )

#  >> a , b = 8, 13

assert (   8 + 5*13)%17 , (22)%17
assert ( 2*8 +   13)%17 , (-6)%17

Esempio n. 2

File: example_lin_eq.py Progetto: CartesianDaemon/pylogram

from pylogram import constrain, default_vars as vars

constrain(vars.a + vars.b == 2, 2 * vars.a + vars.b / 3 == -7)

print(" >> a , b =", vars.a, ",", vars.b)

#  >> a , b = -23/5 , 33/5