projects / cvc5.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
[proofs] Alethe: adds a node converter
[cvc5.git] / .style.yapf
1 [style]
2 based_on_style = pep8
3 split_before_arithmetic_operator = true
4 split_before_bitwise_operator = true
5 split_before_logical_operator = true