Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
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.