Simulator backend for saw-core based on AIGs - View it on GitHub