有没有这种轻量级的逻辑表达式库（C/C++）？比如我输入 A>2 && B < 1 表达式; 然后设置 A =2,B=0, 判定表达式结果为 false。
microxiaoxiao · 2022-10-11 22:27:10 +08:00 · 1999 次点击这是一个创建于 775 天前的主题，其中的信息可能已经有所发展或是发生改变。
 |
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
内嵌个脚本引擎, 比如 lua
|
 |
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