Support for deductive verification using SMTLIB Z3 solver in Chiron Framework

[dhruvgupta22]

Added feature for deductive program verification in SMTLIB using Z3 solver.

[lahiri-phdworks]

Pull Request Template for Feature Additions.

Brief description feature

Provide the details of the feature, explain it's functionality.

Example

Give a test case and related commands that show the utility of the feature.

Please add a atleast 3 test cases to the repository which shows how the feature works and what are the outcomes.

# test

Why is the feature interesting?

Give use cases for the feature.

Screenshots

Please add screenshots whenever possible.

Other Details

Please add additional details that you want the developers to be aware of about the feature. Eg. good use cases (if any).

@dhruvgupta22 @apragati22 Please provide these details. I will review the code and merge it, else I may comment back here.

[apragati22]

Pull Request Template for Feature Additions.

Brief description feature

Provide the details of the feature, explain it's functionality.

Example

Give a test case and related commands that show the utility of the feature.

Please add a atleast 3 test cases to the repository which shows how the feature works and what are the outcomes.

# test

Why is the feature interesting?

Give use cases for the feature.

Screenshots

Please add screenshots whenever possible.

Other Details

Please add additional details that you want the developers to be aware of about the feature. Eg. good use cases (if any).

@dhruvgupta22 @apragati22 Please provide these details. I will review the code and merge it, else I may comment back here.

Dear Sir
We have updated the readme according to this format.
Thanks.