cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
- family-names: "Jewell"
  given-names: "Jonathan"
  orcid: "https://orcid.org/0000-0000-0000-0000" # Placeholder
title: "anvomidaviser"
version: 0.1.0
date-released: 2026-03-21
url: "https://github.com/hyperpolymath/anvomidaviser"
repository-code: "https://github.com/hyperpolymath/anvomidaviser"
license: PMPL-1.0-or-later
keywords:
  - "rsr"
  - "formal-verification"
  - "neurosymbolic"
  - "provenance"
