[SMT-LIB] Built-in name for Booleans

Nikolaj Bjorner nbjorner at microsoft.com
Mon Nov 23 11:52:03 EST 2009

The SMT-LIB 1 standard does not include a built-in name for Booleans.
Is there a known plan for a name: Bool, bool, Boolean? 
(FWIW, Z3 uses "bool", making nice injustice to Mr. George Boole).



More information about the SMT-LIB mailing list