Metadata-Version: 2.1
Name: hwtypes
Version: 1.4.1
Summary: Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
Home-page: https://github.com/leonardt/hwtypes
Author: Leonard Truong
Author-email: lenny@cs.stanford.edu
License: UNKNOWN
Description: [![Build Status](https://travis-ci.org/leonardt/hwtypes.svg?branch=master)](https://travis-ci.org/leonardt/hwtypes)
        
        
        # Install
        ## Debian
        ```
        apt install libgmp-dev libmpfr-dev libmpc-dev
        pip install hwtypes
        ```
        ## OSX
        ```
        brew install gmp mpfr libmpc
        pip install hwtypes
        ```
        
        ## CentOS
        ```
        yum install libmpc-devel mpfr-devel gmp-devel
        pip install hwtypes
        ```
        
Platform: UNKNOWN
Description-Content-Type: text/markdown
