[5/24]: rework assumptions to use FactRules (BasicMeta)
tree20ac4e917dcecd6ad0d8c040436d6ea1f775d6da
-rw-r--r-- 76 .hgignore
-rw-r--r-- 854 .hgtags
-rw-r--r-- 1515 LICENSE
-rw-r--r-- 196 MANIFEST.in
-rw-r--r-- 5585 README
-rw-r--r-- 261 TODO
drwxr-xr-x - bin
drwxr-xr-x - data
drwxr-xr-x - doc
drwxr-xr-x - examples
-rwxr-xr-x 8822 setup.py
drwxr-xr-x - sympy