• Fixes bug that caused an assertion failure when adding a two-input boolean function to the graph.
• Interprocedural optimization enabled in default build.

Major changes:

• Code refactoring
• Multiple bugfixes
• Support for one to eight input bits
• Removed x86-specific dependencies
• Configurable set of boolean gates
• Output results in human-readable XML format
• Automated testing
• Improved command line parsing