Index of /miniconda3/envs/bot/lib/python3.1/site-packages/sympy/logic/tests/

../
__pycache__/                                       01-Oct-2024 08:51                   -
__init__.py                                        01-Oct-2024 08:51                   0
test_boolalg.py                                    01-Oct-2024 08:51               49058
test_dimacs.py                                     01-Oct-2024 08:51                3886
test_inference.py                                  01-Oct-2024 08:51               15318
test_lra_theory.py                                 01-Oct-2024 08:51               16834