Did I find the right examples for you? yes no      Crawl my project      Python Jobs

All Samples(12)  |  Call(10)  |  Derive(0)  |  Import(2)

src/s/y/sympy-0.7.5/sympy/logic/tests/test_inference.py   sympy(Download)
"""For more tests on satisfiability, see test_dimacs"""
 
from sympy import symbols, Q
from sympy.logic.boolalg import Or, Equivalent, Implies, And
from sympy.logic.inference import is_literal, literal_symbol, \
def test_literal():
    A, B = symbols('A,B')
    assert is_literal(True) is True
    assert is_literal(False) is True
    assert is_literal(A) is True
    assert is_literal(~A) is True

src/s/y/sympy-HEAD/sympy/logic/tests/test_inference.py   sympy(Download)
"""For more tests on satisfiability, see test_dimacs"""
 
from sympy import symbols
from sympy.logic.boolalg import Or, Equivalent, Implies
from sympy.logic.inference import is_literal, literal_symbol, \
def test_literal():
    A, B = symbols('A,B')
    assert is_literal(True) is True
    assert is_literal(False) is True
    assert is_literal(A) is True
    assert is_literal(~A) is True