Index of /translynx/simple-ocr/venv/lib64/python3.12/site-packages/sympy/logic/tests/

../
__pycache__/                                       24-Dec-2025 12:46                   -
__init__.py                                        24-Dec-2025 12:46                   0
test_boolalg.py                                    24-Dec-2025 12:46               49748
test_dimacs.py                                     24-Dec-2025 12:46                3886
test_inference.py                                  24-Dec-2025 12:46               16116
test_lra_theory.py                                 24-Dec-2025 12:46               16834