[package] name = "diaphragm-lua-bindings" version = "0.1.0" edition = "2021" [lib] crate-type = ["cdylib"] name = "diaphragm" [dependencies] diaphragm-core = { path = "../core" } diaphragm-z3-solver = { path = "../z3-solver" } diaphragm-cairo-renderer = { path = "../cairo-renderer" } mlua = { version = "0.8", features = ["lua54", "module"] }