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