Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#6 No documentation for BOOLEAN operators

open
nobody
None
5
2009-05-09
2009-05-09
David Wagner
No

The STP documentation lists information about operators for manipulating BITVECTORs and ARRAYs but not for BOOLEANs. For instance, it does not list AND, OR, NAND, NOR, XOR, <=>, =>, etc. It might be nice to have documentation of this.

Discussion