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