GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-11-29 13:55:51 +03:00
Code Issues Projects Releases Wiki Activity
Symbolic formula representation and solver interaction library
867 Commits 61 Branches 12 Tags 8.2 MiB
Haskell 100%
2b4273c818
Go to file
Kevin Quick 2b4273c818 Merge remote-tracking branch 'refs/remotes/origin/master'
2021-04-19 15:57:42 -07:00
.github/workflows Use stable nix version to ensure GHC availability in CI. 2021-03-25 08:44:19 -07:00
dependencies Update aig dependency to support GHC 8.10. 2021-01-17 10:45:45 -08:00
what4 Fix bug in printing Verilog rotations for ABC (#114) 2021-04-15 14:02:27 -07:00
what4-abc [what4-abc] Update cabal for more recent specification version. 2021-03-14 10:19:28 -07:00
what4-blt [what4-blt] Update cabal specification to version 2.2. 2021-03-14 10:21:29 -07:00
.gitignore Add darcs and emacs backups to .gitignore. 2021-04-19 15:57:15 -07:00
.gitmodules migration to bv-sized representation (#34) 2020-06-04 15:07:57 -07:00
.hlint.yaml Separate Travis build+test jobs from lint jobs (#247) 2019-05-23 17:46:19 -07:00
cabal.project migration to bv-sized representation (#34) 2020-06-04 15:07:57 -07:00
README.md Add support for Verilog export (#65) 2020-12-14 13:54:31 -08:00

README.md

What4 is a library for representing symbolic terms and communicating with satisfiability and SMT solvers (e.g. Yices and Z3).

It was originally a part of the Crucible project, but has found use cases that are independent of its original purpose as the representation language for the Crucible symbolic simulator, and has thus been split out into a separate repository.

For an overview of What4 and how to use it, please see the package-level README.

This material is based upon work supported by the Defense Advanced Research Projects Agency (DARPA) under Contract No. HR0011-19-C-0070. The views, opinions, and/or findings expressed are those of the author(s) and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S. Government.