Projekte
Auf GitHub ansehen
uwdb/Cosette
uwdb/Cosette has 688 GitHub stars and 57 forks. GitHot measured 0 stars in 24 hours. Last checked 2026-11-15 03:17 UTC. Last push 2024-12-18.
Gemessener Sternzuwachs
- in 24h
- 0
- in 7 days
- Verlauf wird gesammelt
- in 15 days
- Verlauf wird gesammelt
- in 1 month
- Verlauf wird gesammelt
Nettoänderungen in überlappenden Zeiträumen, keine Tagessummen. Fehlende Messwerte bleiben leer. Sterne zeigen Interesse, nicht Qualität.
Über uns
Cosette is an automated SQL solver.
DatenREADME.md
Original
Cosette
Note: this repo is now deprecated. Check out our new QED solver!
Cosette is a language, and an automated solver for reasoning SQL equivalences.
- Read Introducing Cosette
- See the Cosette Guide to see how to use Cosette
- Try Cosette online demo
- Check out cosette website for research papers about Cosette
This project is in active development. Shoot us a message ([email protected]) or create an issue if you find something doesn't work!