Update docs to include how to set up Cosette locally

uwdb / Cosette

Cosette is an automated SQL solver.

BSD 2-Clause "Simplified" License

662 stars 54 forks source link

Update docs to include how to set up Cosette locally #86

Closed ReinierKoops closed 3 years ago

ReinierKoops commented 3 years ago

I found this on dockerhub: https://hub.docker.com/r/dli123/cosette-web I thought it would be helpful to add this to the documentation. I could make a pull request if needed.

ReinierKoops commented 3 years ago

https://github.com/uwdb/Cosette-Web I have looked over this. Anyway; would be helpful to mention the other project I think somewhere.