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