Best 2 Rosette Open Source Projects

Cosette

Cosette is an automated SQL solver.

Serval Sosp19

This repo contains the artifact for our SOSP'19 paper on Serval