Auditable claim record

OSS CAD Suite · includes

Boolector · SUPPORTED

urn:vlsi:claim:e13f11b4ec599efeb7a33034eff1ea57d5a0a243d07d84136e96c32edc06b32f

The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability.

Back to OSS CAD Suite → · Complete history as JSON · JSON-LD

Evidence

OSS CAD Suite pinned component manifest ↗

The pinned OSS CAD Suite component list includes Boolector.

YosysHQ official repository · Pinned README.md line 54 · supports

Published date unknown · Retrieved 2026-10-13T23:58:55.205Z

urn:vlsi:evidence:eca9358bb2fc050f98cc579d45b8f90490a800514e4916da6bb07d0d49c35a68

Assessment history

New assessments preserve earlier records. A correction changes the current interpretation without rewriting what VLSI knew before it.

Recorded assessments, oldest first
Revision	Recorded at (UTC)	Status	Validity	Reviewer & reason
1	2026-10-14T00:04:17.563Z	SUPPORTED	unknown unknown	checked-catalog-source-adapter (adapter) Evidence ingested by official-registry-and-pinned-documents/1.0.0. Explicit upstream evidence only. No fabrication, validation, successful tapeout, measured performance, arbitrary-version interoperability or production qualification is inferred.