z3-z3-4.13.0.src.muz.spacer..clang-format Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of z3-turnkey Show documentation

A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.

There is a newer version: 4.13.4

Show newest version

---
BasedOnStyle: LLVM
AllowShortFunctionsOnASingleLine: All
IndentWidth: '4'
AllowShortBlocksOnASingleLine: true
AllowShortIfStatementsOnASingleLine: true
AllowShortLoopsOnASingleLine: true
...