Translate LuaJIT BC and IR to SMT

$ luarocks install --server=https://luarocks.org/dev ljopt

Versions

scm-1dev1 year ago0 downloads

Dependencies

luajit >= 2.1

Manifests