This repository contains a backend for the saw-core
library that uses
the what4
library for communication with SMT solvers.
chameco / saw-core-what4 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from galoisinc/saw-core-what4
Backend for saw-core using the what4 prover infrastructure
License: BSD 3-Clause "New" or "Revised" License