Backend for saw-core using the what4 prover infrastructure - View it on GitHub