def test_conde():
    x = var('x')
    assert results(conde([eq(x, 2)], [eq(x, 3)])) == ({x: 2}, {x: 3})
    assert results(conde([eq(x, 2), eq(x, 3)])) == ()
dataset/ETHPy150Open logpy/logpy/logpy/tests/test_core.py/test_conde/original