And-Inverter Graphs

An And-Inverter Graph (AIG) is a directed, acyclic graph that represents a structural implementation of the logical functionality of a circuit or network. The AIG format is described in detail here by Armin Biere

Satalia solves And-Inverter Graph (AIG) problems. Simply upload your AIG problems to our SolveEngine using our API or Web-Portal, and let Satalia do the solving.