[package] name = "absolut-core" description = "Implementation of absolut::SimdTable" version = "0.1.0" edition = "2021" license-file = "../LICENSE" [dependencies] quote = { workspace = true } proc-macro2 = { workspace = true } z3 = { version = "0.11.2", features = ["static-link-z3"] }