A safety hardware model checker
This prototype tool is only used for BASIC evaluation currently. The binary file is tested to run on a 64bit Ubuntu 16.04 platform. To run the tool, simply type "aigcheck" command and you will see the useage of the tool.