1
potatowish Oct 11, 2022 via iPhone
aviator script 不错
|
2
L4Linux Oct 11, 2022 via Android
SMT solver 了解一下。
|
3
star9029 Oct 11, 2022
直接 constexpr (
|
4
microxiaoxiao OP @star9029 这个应该不得行,参数要在运行过程中设置值。
|
5
SakuraSa Oct 11, 2022
感觉这种似乎可以?
|
6
SakuraSa Oct 11, 2022
|
7
tt0411 Oct 11, 2022
内嵌个脚本引擎, 比如 lua
|
8
Skybrim Oct 11, 2022
https://beltoforion.de/en/muparser/features.php
这种吗?先设置公式,然后带入值 |
9
pwrliang Oct 12, 2022
|
10
masterclock Oct 12, 2022 |
11
PythonYXY Oct 12, 2022
z3 可以的,smt 语法看一会就能掌握
|
12
vone Oct 12, 2022 via iPhone
内嵌 JavaScript 运行时就可以了,比如 QuickJS 。
|
13
microxiaoxiao OP |