有没有这种轻量级的逻辑表达式库（C/C++）？比如我输入 A>2 && B < 1 表达式; 然后设置 A =2,B=0, 判定表达式结果为 false。

[microxiaoxiao]

[potatowish]

aviator script 不错

[L4Linux]

SMT solver 了解一下。

[star9029]

直接 constexpr （

[microxiaoxiao]

@star9029 这个应该不得行，参数要在运行过程中设置值。

[SakuraSa]

感觉这种似乎可以？

[SakuraSa]

https://github.com/GiuMaz/antlr4-cpp-example

[tt0411]

内嵌个脚本引擎, 比如 lua

[Skybrim]

https://beltoforion.de/en/muparser/features.php
这种吗？先设置公式，然后带入值

[pwrliang]

https://github.com/Z3Prover/z3

[masterclock]

https://github.com/google/cel-cpp
快、非图灵完备

[PythonYXY]

z3 可以的，smt 语法看一会就能掌握

[vone]

内嵌 JavaScript 运行时就可以了，比如 QuickJS 。

[microxiaoxiao]

@PythonYXY @pwrliang 感谢哟。