Integrity Constraint Support

uwdb / Cosette

Cosette is an automated SQL solver.

BSD 2-Clause "Simplified" License

662 stars 54 forks source link

Closed yicun0720 closed 5 months ago

yicun0720 commented 5 months ago

Can the current version of Cosette support reasoning with integrity constraints like NOT NULL, Primary Key, Foreign Key, etc.?

akcheung commented 5 months ago

You might want to check out our new solver QED that handles primary keys and NULLs.