Closed gitter-badger closed 8 years ago
@izgzhen has just created a chat room. You can visit it here: https://gitter.im/izgzhen/z3-encoding.
This pull-request adds this badge to your README.md:
If my aim is a little off, please let me know.
Happy chatting.
PS: Click here if you would prefer not to receive automatic pull-requests from Gitter in future.
izgzhen/z3-encoding now has a Chat Room on Gitter
@izgzhen has just created a chat room. You can visit it here: https://gitter.im/izgzhen/z3-encoding.
This pull-request adds this badge to your README.md:
If my aim is a little off, please let me know.
Happy chatting.
PS: Click here if you would prefer not to receive automatic pull-requests from Gitter in future.