有没有这种轻量级的逻辑表达式库（C/C++）？比如我输入 A>2 && B < 1 表达式; 然后设置 A =2,B=0, 判定表达式结果为 false。
microxiaoxiao 2022-10-11 22:27:10 +08:00 2427 次点击这是一个创建于 1114 天前的主题，其中的信息可能已经有所发展或是发生改变。
 | 1 potatowish 2022-10-11 22:29:42 +08:00 via iPhone aviator script 不错 |
 | 2 L4Linux 2022-10-11 23:02:58 +08:00 via Android SMT solver 了解一下。 |
 | 3 star9029 2022-10-11 23:24:56 +08:00 直接 constexpr （ |
 | 4 microxiaoxiao OP @star9029 这个应该不得行，参数要在运行过程中设置值。 |
 | 5 SakuraSa 2022-10-11 23:33:15 +08:00 感觉这种似乎可以？ |
| 6 SakuraSa 2022-10-11 23:33:21 +08:00 |
 | 7 tt0411 2022-10-11 23:41:09 +08:00 |
 | 8 Skybrim 2022-10-11 23:52:06 +08:00 https://beltoforion.de/en/muparser/features.php 这种吗？先设置公式，然后带入值 |
 | 9 pwrliang 2022-10-12 03:06:47 +08:00 |
 | 10 masterclock 2022-10-12 10:15:01 +08:00  1 |
 | 11 PythonYXY 2022-10-12 10:58:01 +08:00 z3 可以的，smt 语法看一会就能掌握 |
 | 12 vone 2022-10-12 14:34:30 +08:00 via iPhone 内嵌 Javascript 运行时就可以了，比如 QuickJS 。 |
| 13 microxiaoxiao OP |
Select Language