uwdb / Cosette

Cosette is an automated SQL solver.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

What's the status of the project?

yaitskov opened this issue · comments

Where is Cosette 2.0?

I'm also interested in the status of this project.

Cosette 2.0 is currently on hold due to the lack of researchers.
We have several experimental work around Cosette going on, but none is ready for release.
You are welcome to shoot us messages at cosette@cs.washington.edu for discussions.