Note: this repository is obsolete, and its contents have been moved here
This repository contains a backend for the saw-core library that uses
the what4 library for communication with SMT solvers.
This repository has been archived by the owner on Jun 11, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 4
Backend for saw-core using the what4 prover infrastructure
License
GaloisInc/saw-core-what4
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Backend for saw-core using the what4 prover infrastructure
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published