Index of /cvmfsmonitor/repository/neugrid.egi.eu/brainvisa-4.4.0/lib/python2.7/site-packages/sympy/logic/algorithms

	Name	Last modified	Size	Description
	Parent Directory		-
	__init__.py	2009-07-16 21:16	0
	__init__.pyc	2012-08-23 14:39	192
	dpll.py	2009-07-16 21:16	3.8K
	dpll.pyc	2012-08-23 14:39	4.2K