def test_occurrence():
occ = occurrence(relationships([simultaneous('a', 'b')]))
print('occurrence: ', occ)
formula = and_(simultaneous('a', 'b'), not_(var('a')), *occ)
print('formula: ', formula)
s = formula.sat()[1]
if s:
print('solution: ', [k for k, v in s.items() if v])
assert not s
def test_transmission(Bid, A, B):
assert logic.compile(Bid.transmission).equiv(
or_(not_(observe(A, Bid)), sequential(observe(B, Bid), observe(A,
Bid))))
def test_transmission():
assert transmission(Bid, A, B).equiv(
or_(not_(observe(B, Bid)), sequential(observe(A, Bid), observe(B, Bid))))