Improved Integer handling in NRA plugin#533

Merged

ahmed-irfan merged 10 commits intoSRI-CSL:masterfrom Ovascos:nra-int-update

Nov 2, 2024

+111-101

Commits on Oct 7, 2024

Update propagation with lp_feasibility_set_is_point_int.
Thomas Hader
committed
Use lp_feasibility_set_contains_int() instead of pick_value.
Thomas Hader
committed
Removed duplicated line.
Thomas Hader
committed
Code cleanup: fixed variable name
Thomas Hader
committed
Using nra_plugin_report_int_conflict where appropriate
Thomas Hader
committed
Fixed missing line
Thomas Hader
committed
Code cleanup
Thomas Hader
committed

Commits on Oct 9, 2024

Made postponed conflicts in NRA explicit.
Thomas Hader
committed
Removed interval approx for hinting.
Thomas Hader
committed
int/real hints
ahmed-irfan
authored