search

dferri / z3-skyscrapers

Generate a skyscrapers puzzle game solver for z3
4 stars 0 forks source link

minor correction #1

Open malipivo opened 5 years ago

malipivo commented 5 years ago

Hello there, in your two lines of code in README, there shall be "r3c2=5" instead of "r4c3=2". Well, the solution is the same, but it matches the shown picture. Best Regards, Pavel