[4/24]: rework assumptions.py to use FactRules (kill ._eval_is_nonnegative)
tree71af8abd66a0a782274d1156dcc70420d42bff4d
-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