Developed a high-value API enhancement for the Z3Prover/z3 repository by implementing Bitvector signed division (sdiv) support in the z3++ C++ API. Focused on extending the z3++.h header to introduce inline operator support for both expr and int operands, this work ensured consistent and complete handling of signed bit-vector arithmetic. The approach aligned the C++ API with Python bindings and SMT-LIB semantics, reducing the need for user workarounds and improving modeling workflows. Leveraged expertise in API development and C++ to address missing functionality, resulting in a more robust and user-friendly interface for signed division operations in Z3.