鉴于我有一个条件表达式，如：a > 9，你知道是否存在一个库，它可以正确地否定条件：a <= 9。?
问题：我有一个约束求解器 lp_solve，我用约束（即条件）提供它。然后它为我计算一个解决方案，即一个满足约束的数字。但有时我需要一个不满足约束的数字。这就是为什么我需要一个可以否定条件表达式的库的原因。
顺便提一句。lp_solve 仅支持以下关系运算符："<" "<=" "=" ">" ">="。不幸的是，这不包括！或不，在我的情况下这将是一个很好的功能。
编辑：解决这个问题的另一种方法可能是首先计算最大解，即满足约束的最大数，然后是最小值，因此选择不包括在区间 [min , max] 中的数字。这比逻辑否定更好吗？
最好的问候，卡伊。