What's the status of the project?

uwdb / Cosette

Cosette is an automated SQL solver.

BSD 2-Clause "Simplified" License

662 stars 54 forks source link

What's the status of the project? #87

Open yaitskov opened 3 years ago

yaitskov commented 3 years ago

Where is Cosette 2.0?

havardge commented 2 years ago

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

Mestway commented 2 years ago

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.