Install
Docs
Log In
Register
ljopt
Follow
2
Star
2
Translate LuaJIT BC and IR to SMT
Uploader
ligurio
License
MIT
Homepage
github.com/ligurio/ljopt
Downloads
1
$
luarocks install --server=https://luarocks.org/dev ljopt
Versions
scm-1
dev
1 year ago
0 downloads
Dependencies
luajit
>= 2.1
Manifests
root