updating README file to solve conflicts

SymbolicPathFinder / jpf-symbc

Symbolic PathFinder

https://github.com/SymbolicPathFinder/jpf-symbc

124 stars 89 forks source link

updating README file to solve conflicts #87

Closed gaurangkudale closed 11 months ago

gaurangkudale commented 12 months ago

Hi @yannicnoller, Can you please review and merge this PR to SymbolicPathFinder:gradle-build Branch which will solve the conflicts. I will also mention the docker build process with example in separate file and add the link to the main wiki