Index of /ia/tfq-env/lib/python3.8/site-packages/sympy/logic/algorithms

	Name	Last modified	Size	Description
	Parent Directory		-
	__init__.py	2023-09-15 11:06	0
	__pycache__/	2023-09-15 11:06	-
	dpll.py	2023-09-15 11:06	9.0K
	dpll2.py	2023-09-15 11:06	20K
	pycosat_wrapper.py	2023-09-15 11:06	1.2K