{"apiVersion":"1.0","data":{"id":"boolector","name":"Boolector","owner":"Boolector contributors","source":"https://github.com/Boolector/boolector","licenseSource":"https://github.com/Boolector/boolector/blob/master/COPYING","license":"MIT","description":"An SMT solver for fixed-size bit-vectors, 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","Formal","Solver"],"discoverySources":["https://github.com/Boolector/boolector","https://github.com/YosysHQ/oss-cad-suite-build"],"evidence":{"readmeUrl":"https://raw.githubusercontent.com/Boolector/boolector/master/README.md","licenseUrl":"https://raw.githubusercontent.com/Boolector/boolector/master/COPYING","licenseSha256":"43991b269b3c63bda6621feeebae0f0901ae4d3af11b8b7465af1ca3891466c5","checkedAt":"2026-09-26T00:00:00Z","notes":"Fetched upstream README and license body; not run."},"type":"Open EDA","stage":"VERIFY","sourceLabel":"github.com/Boolector/boolector","status":"External index","activitySource":"https://raw.githubusercontent.com/Boolector/boolector/master/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":"BO","passport":null,"links":{"self":"/api/v1/resources/boolector","html":"/repo/boolector","evidence":"/api/v1/resources/boolector/evidence","runs":"/api/v1/resources/boolector/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."}}