{"library":"oxidd-core","type":"library","category":null,"description":"Core traits and types of the OxiDD decision diagram framework.","language":"rust","status":"active","version":"0.11.0","tags":["decision-diagrams","bdd","core","traits"],"last_verified":"Wed Jun 17","install":[{"cmd":"# Cargo.toml\n[dependencies]\noxidd-core = \"0.11.0\"","imports":["use oxidd_core::DD;"]},{"cmd":"cargo add oxidd-core","imports":[]}],"homepage":"https://oxidd.net","github":"https://github.com/OxiDD/oxidd","docs":"https://docs.rs/oxidd-core/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}