@hackage libBF dependents

7 results

@hackage/copilot-theorem
k-induction for Copilot.
BSD-3-Clausev4.0
@hackage/crackNum
Crack various integer and floating-point data formats
BSD-3-Clausev3.14
@hackage/crux
Simple top-level library for Crucible Simulation
BSD-3-Clausev0.7.1
@hackage/cryptol
Cryptol: The Language of Cryptography
BSD-3-Clausev3.2.0
@hackage/grisette
Symbolic evaluation as a library
BSD-3-Clausev0.8.0.0
@hackage/sbv
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
BSD-3-Clausev10.12
@hackage/what4
Solver-agnostic symbolic values support for issuing queries
BSD-3-Clausev1.6.2