This addresses issue #1441 by providing a comprehensive clang-format
configuration that matches Z3's existing C++ coding style patterns.
Key features:
- 4-space indentation consistent with existing Z3 code
- Preserves existing include organization (no auto-sorting)
- Left-aligned pointers/references (type* var style)
- Attach brace style for control statements
- 120 character line limit
- Proper spacing and alignment rules
Usage:
clang-format --sort-includes=false -i <file> # Format file in-place
git clang-format --style=file # Format staged changes
Based on analysis of existing Z3 source code patterns in:
- src/ast/*.cpp and src/ast/*.h files
- src/api/*.cpp and src/api/*.h files
- src/smt/*.cpp files
- Various utility and core library files
Resolves#1441