Skip to content

Document design considerations of the format

It should be clear what our design considerations are:

  • Readable
  • SMT-LIB based
  • Flexible
  • Fine grained
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information