search

SymbolicPathFinder / jpf-symbc

Symbolic PathFinder
https://github.com/SymbolicPathFinder/jpf-symbc
130 stars 91 forks source link

Readme #75

Open franck-van-breugel opened 2 years ago

franck-van-breugel commented 2 years ago

I have expanded Philip's README.md file. I have tried to pull in Philip's fork. Hopefully, Philip shows as a contributor.

yannicnoller commented 2 years ago

Hi @franck-van-breugel! Thanks for the updated README! I think we first should resolve the questions for the examples (see https://github.com/SymbolicPathFinder/jpf-symbc/pull/74) and then we can check the README in detail.