ljopt

Translate LuaJIT BC and IR to SMT

Uploader

License

MIT

Homepage

github.com/ligurio/ljopt

Downloads

1

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

Versions

scm-1dev184 days ago0 downloads

Dependencies

luajit >= 2.1

Manifests