@hackage / sbv

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

14.3

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / camfort CamFort - Cambridge Fortran infrastructure
- Version: 1.2.0
- Last uploaded: 3 years ago
- License: Apache-2.0
@hackage / copilot-sbv A compiler for CoPilot targeting SBV.
- Version: 2.2.1
- Last uploaded: 9 years ago
- License: BSD-3-Clause
@hackage / crackNum Crack various integer and floating-point data formats
- Version: 3.15
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / cryptol Cryptol: The Language of Cryptography
- Version: 3.5.0
- Last uploaded: 5 months ago
- License: BSD-3-Clause
@hackage / grisette Symbolic evaluation as a library
- Version: 0.13.0.1
- Last uploaded: 11 months ago
- License: BSD-3-Clause
@hackage / hevm Symbolic EVM Evaluator
- Version: 0.57.0
- Last uploaded: 5 months ago
- License: AGPL-3.0-only
@hackage / keiki Pure core for symbolic-register transducer event sourcing.
- Version: 0.1.0.0
- Last uploaded: 2 weeks ago
- License: BSD-3-Clause
@hackage / linearEqSolver Use SMT solvers to solve linear systems over integers and rationals
- Version: 2.4
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@cardano / marlowe-cardano Marlowe: financial contracts on Cardano Computation Layer
- Version: 0.2.1.0
- Last uploaded: 2 years ago
- License: Apache-2.0
@cardano / marlowe-test Tests for Marlowe semantics and validators on Cardano
- Version: 0.2.1.0
- Last uploaded: 2 years ago
- License: Apache-2.0
@hackage / quick-process Run external processes verified at compilation/installation
- Version: 0.0.3
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / regex-genex From a regex, generate all possible strings it can match
- Version: 0.7.0
- Last uploaded: 10 years ago
- License: LicenseRef-OtherLicense
@hackage / sbv-program Component-based program synthesis using SBV
- Version: 1.1.0.0
- Last uploaded: 3 years ago
- License: BSD-3-Clause
@hackage / sbvPlugin Formally prove properties of Haskell programs using SBV/SMT
- Version: 9.14.1
- Last uploaded: 5 months ago
- License: BSD-3-Clause
@hackage / scheduling An interview scheduler using constraint satisfaction and Google Sheets
- Version: 0.1.0.0
- Last uploaded: 4 years ago
- License: BSD-3-Clause
@hackage / verifiable-expressions An intermediate language for Hoare logic style verification.
- Version: 0.6.3
- Last uploaded: 9 months ago
- License: Apache-2.0