Add an aiger simulator