[package] name = "facet" version = "0.1.0" edition = "2024" [dependencies] kiss3d = "0.37.2" z3 = "0.19.6"