Installation

To install a stable version of yinyang use:

` pip3 install yinyang `

The following commands clone yinyang and install the antlr4 python runtime.

$ git clone https://github.com/testsmt/yinyang.git
$ pip3 install antlr4-python3-runtime==4.9.2