@hackage / smtlib-backends-tests

Metadata

• Last updated 4 Mar 2026, by FacundoDominguez
• License MIT
• Categories Testing

• Maintained by: quentin.aristote@tweag.io

• Lottery factor: 0 New

  The number of people with uploader permission on @hackage/smtlib-backends-tests who have released something to @hackage in the last 2 years (i.e. the number of people likely able to release critical fixes in a timely manner)

Links

• Documentation
• Source repository

Installation