search

qsphan / aZ3

A solver for All-solution Satisfiabiiity Modulo Theories
2 stars 3 forks source link

typo in README.md #2

Open simsong opened 6 years ago

simsong commented 6 years ago

It says:

Running java -jar aZ3 without parameters can give you a list of options.

It should say:

Running java -jar aZ3.jar aZ3 without parameters can give you a list of options.