def NS(t):
    return struct.pack('!L', len(t)) + t
Check satisfiability of a propositional sentence.
dataset/ETHPy150Open twisted/twisted/twisted/conch/ssh/common.py/NS--crossover with--dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/dpll_satisfiable