Support for BLIF input

Improved support for sequential circuits

Improved AIG optimization recipe, leading to improved PPA in AIG and mixed synthesis modes

Refactored code base; smaller repository, faster build, original code consolidated into core directory

Mixed synthesis supports flags to prioritize node count, network depth, or node x depth product

Single command usage through "oracle" command. Reads file, selects number of partitions, partitions network, optimized with mixed synthesis, writes verilog.

LSOracle alpha. Supports AIG, MIG, and mixed synthesis with two available classifiers. Please check out the documentation for assistance getting started. This software is in active development with features changing frequently, so most users will best served by using the most recent version from the master or dev branches.