Python index_fact Examples

Example #1

def test_index_fact2():
    assert sat.index_fact(fact1, index=3, negated=True) == "not-at-station-3"

Example #2

def test_index_fact1():
    assert sat.index_fact(fact1, 3) == "at-station-3"