Talk:Satisfiability Modulo Theories

From Wikipedia, the free encyclopedia

[edit] CVC merge

I think we should probably just delete the CVC article and information rather than copy-and-paste it into this one. It's out of place where it is now. Clconway (talk) 14:15, 6 June 2008 (UTC)