- switch from gmpxx to libflint
- optimize tableau representation
- add objective function
- add option to propagate bounds
- add option to enable python script tags
- add support for ASPIF parsing
- add phase selection heuristic
- add bound propagation
- add API (C and Python)
- initial release