LSOracle Alpha
Pre-release
Pre-release
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.