sbv
Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.
- Category
- Haskell packages
Official docs outline
github.comExtra Credit builds an outline of sbv's docs the first time your work uses it. Until then, start at the official documentation.
More in Haskell packages
All 1,000- bytestring-builder
- vector-binary-instances
- stringsearch
- silently Prevent or capture writing to stdout, stderr, and other handles.
- unix
- acid-state
- ad Forward-, reverse- and mixed- mode automatic differentiation combinators with a common API. Type-level "branding" is used to both prevent t
- diagrams-lib Diagrams is a flexible, extensible EDSL for creating graphics of many types. Graphics can be created in arbitrary vector spaces and rendere
- language-javascript Parses Javascript into an Abstract Syntax Tree (AST). Initially intended as frontend to hjsmin. Note: Version 0.5.0 breaks compatibility w
- hxt
- propellor Propellor ensures that the system it's run in satisfies a list of properties, taking action as necessary when a property is not yet met. It
- publicsuffixlist