AutoBound automatically computes upper and lower bounds on functions.
Primary LanguagePythonApache License 2.0Apache-2.0