[11/24] rework assumptions.py to use FactRules (assume typeinfo)
tree2d42bf586813a75c21177d21ba3329036eae12a1
-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