A simple tool that converts Boole files to their corresponding AIGER counterparts
Primary LanguageScala