search

uwdb / Cosette

Cosette is an automated SQL solver.
BSD 2-Clause "Simplified" License
666 stars 54 forks source link

Guide edits #24

Closed akcheung closed 7 years ago

akcheung commented 7 years ago

made edits and comments

stechu commented 7 years ago

Merged to gh-pages branch.