Michael Norrish mn200

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                mn200
                / keybase.md
            
            
              Created
              January 20, 2015 22:52
            
          
    Keybase proof

I hereby claim:

I am mn200 on github.
I am michaeln (https://keybase.io/michaeln) on keybase.
I have a public key whose fingerprint is 1638 8636 37E5 313B 3BBF  5075 6286 43A7 A3DD 1D91

To claim this, I am signing this object:

  
## .gitignore
*.html

## INSTALL-Z3-4.0.md

      
              1 file
            
          
              1 fork
            
          
              0 comments
            
          
              0 stars
            
          
                mn200
                / INSTALL-Z3-4.0.md
            
            
              Created
              May 9, 2012 05:49
            
              
                How to install Z3 4.0 on Linux
              
          
    Installing Z3 version 4.0


Download and unpack tar-ball from MSR download site.


Run the z3 executable in z3/bin.  Simple!