101e1a3 Update to latest git snapshot.

Authored and Committed by jjames 4 years ago
    Update to latest git snapshot.
    
    Also:
    - Add -build and -format patches.
    - Build with cmake.
    - Enable CUDD support.
    
        
file added
+26
file modified
+23 -24
file added
+136
file modified
+2 -2
file modified
+4 -4
file modified
+21 -9
file modified
+1 -1