search

uwdb / Cosette

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

Update to Racket 6.9 #33

Closed stechu closed 7 years ago

stechu commented 7 years ago

Since Rosette updated to Racket 6.9 with a few bug fixes.

Mestway commented 7 years ago

In progress.

stechu commented 7 years ago

@Mestway 👍