sbv-8.0: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

Safe HaskellNone
LanguageHaskell2010

Documentation.SBV.Examples.BitPrecise.BitTricks

Description

Author : Levent Erkok License : BSD3 Maintainer: erkokl@gmail.com Stability : experimental

Checks the correctness of a few tricks from the large collection found in: http://graphics.stanford.edu/~seander/bithacks.html

Synopsis

Documentation

queries :: IO () Source #

Collection of queries