C:\Users\decid\AppData\Roaming\Python\Python312\site-packages\sympy\logic\tests

Index of C:\Users\decid\AppData\Roaming\Python\Python312\site-packages\sympy\logic\tests
Up one directory...
Name	Size	Date Modified

test_lra_theory.py	17 KB	8/28/2026 12:04 AM
test_inference.py	15 KB	8/28/2026 12:04 AM
test_dimacs.py	4 KB	8/28/2026 12:04 AM
test_boolalg.py	48 KB	8/28/2026 12:04 AM
__init__.py	0 KB	8/28/2026 12:04 AM
__pycache__	169 KB	8/28/2026 12:04 AM