{"apiVersion":"1.0","data":{"id":"bitwuzla","name":"Bitwuzla","owner":"Bitwuzla contributors","source":"https://github.com/bitwuzla/bitwuzla","licenseSource":"https://github.com/bitwuzla/bitwuzla/blob/main/COPYING","license":"MIT","description":"An SMT solver for bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions.","domains":["Digital"],"kind":"Tool","tasks":["Verification"],"language":"C++","target":"SMT solving for formal hardware flows","toolchain":"SMT-LIB","tags":["SMT","Bit-vectors","Floating point","Formal"],"discoverySources":["https://github.com/bitwuzla/bitwuzla","https://github.com/YosysHQ/oss-cad-suite-build"],"evidence":{"readmeUrl":"https://raw.githubusercontent.com/bitwuzla/bitwuzla/main/README.md","licenseUrl":"https://raw.githubusercontent.com/bitwuzla/bitwuzla/main/COPYING","licenseSha256":"961adb2362332ed941ea82c141d023f394435faec7705b2760e48f0ddc1587c7","checkedAt":"2026-09-26T00:00:00Z","notes":"Fetched upstream README and license body; not run."},"type":"Open EDA","stage":"VERIFY","sourceLabel":"github.com/bitwuzla/bitwuzla","status":"External index","activitySource":"https://raw.githubusercontent.com/bitwuzla/bitwuzla/main/README.md","activity":"See upstream documentation for releases and maintenance status.","cataloged":"Metadata checked 2026-09-26","licenseScope":"Fetched upstream README and license body; not run.","accent":"blue","glyph":"BI","passport":null,"links":{"self":"/api/v1/resources/bitwuzla","html":"/repo/bitwuzla","evidence":"/api/v1/resources/bitwuzla/evidence","runs":"/api/v1/resources/bitwuzla/runs"}},"attribution":{"catalog":"https://hub.vlsi.kr","methodology":"https://hub.vlsi.kr/methodology","note":"Source documentation, license evidence, Hub reproduction and silicon reports are separate claims."}}