mirror of
https://git.roussel.pro/NUS/CS6217-Project.git
synced 2026-02-09 05:30:19 +01:00
4 lines
150 B
Python
4 lines
150 B
Python
from main import create_module_from_constrain
|
|
|
|
constrain = lambda O, I1_1, I2_2: O == (I1_1 & I2_2) + 1
|
|
print(create_module_from_constrain(constrain)) |