Pritthijit Nath

Hi, any suggestions you would like for me to add?

Sure @abdrahmandiab.

## Reformatting Task Checklist #### IMPORTANT NOTICE 🚨: The [Ivy Docs](https://lets-unify.ai/ivy/) represent the ground truth for the task descriptions and this checklist should only be used as a supplementary item...

Hi @abdrahmandiab, I have added the checklist for your reference. Feel free to share any suggestions.

Hi @abdrahmandiab, I have followed the checklist and have made changes as you suggested. Feel free to review them and suggest new ones if required. Thanks.

Used this fix in Google Colab and I found to work pretty well. ``` import os import fileinput # Define the path to the file that needs to be modified...

You can use this fork : [nathzi1505/fastsmt](https://github.com/nathzi1505/fastsmt/tree/master). This also works with the latest z3 version `4.8.10`.