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