Translate LuaJIT BC and IR to SMT
1
Version scm-1 of ljopt was uploaded 1 year ago. This is a development version of the module.