AMulet 2.0
AIG Multiplier Verification Tool
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
 CGate
 CMonomial
 CPolynomial
 CTerm
 CVar