Deciding floating-point logic with abstract conflict driven clause learning