search

uwdb / Cosette

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

Merge Meta Solver to the upstream #62

Closed stechu closed 6 years ago

stechu commented 6 years ago

Expect faster SMT solving :)