This form supports scoped metadata proposals for one vendor or product record.
Product: Btor2Tools (Btor2Tools Project/btor2tools)
btor2tools
Use Markdown for headings, lists and links.
The preview follows the field above. Your original text is submitted.