Llama-3.1-8B-DALv0.1
/
venv
/lib
/python3.12
/site-packages
/sympy
/assumptions
/relation
/__init__.py
""" | |
A module to implement finitary relations [1] as predicate. | |
References | |
========== | |
.. [1] https://en.wikipedia.org/wiki/Finitary_relation | |
""" | |
__all__ = ['BinaryRelation', 'AppliedBinaryRelation'] | |
from .binrel import BinaryRelation, AppliedBinaryRelation | |