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

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- X
- Y
- Z
- #
- %
- &
- *
- +
- .
- /
- <
- =
- |
- -
- ~
- _
- All

Index - B

B |
1 (Data Constructor) | Documentation.SBV.Examples.Misc.Enumerate
2 (Data Constructor) | Documentation.SBV.Examples.Queries.FourFours
3 (Type/Class) | Documentation.SBV.Examples.Uninterpreted.Deduce
4 (Data Constructor) | Documentation.SBV.Examples.Uninterpreted.Deduce
bAll | Data.SBV
ball | Data.SBV.List.Bounded
bAnd | Data.SBV
band | Data.SBV.List.Bounded
bAny | Data.SBV
bany | Data.SBV.List.Bounded
Baseball | Documentation.SBV.Examples.Puzzles.Fish
basis | Documentation.SBV.Examples.Existentials.Diophantine
bcc | Documentation.SBV.Examples.BitPrecise.Legato
Beer | Documentation.SBV.Examples.Puzzles.Fish
belem | Data.SBV.List.Bounded
Beverage | Documentation.SBV.Examples.Puzzles.Fish
bfilter | Data.SBV.List.Bounded
bfix | Data.SBV.Tools.BoundedFix
bfoldl | Data.SBV.List.Bounded
bfoldlM | Data.SBV.List.Bounded
bfoldr | Data.SBV.List.Bounded
bfoldrM | Data.SBV.List.Bounded
bin | Data.SBV.Internals
Binary | Documentation.SBV.Examples.Uninterpreted.Shannon
BinOp | Documentation.SBV.Examples.Queries.FourFours
binS | Data.SBV.Internals
Bird | Documentation.SBV.Examples.Puzzles.Fish
Bit | Documentation.SBV.Examples.BitPrecise.Legato
bit | Data.SBV
bitDefault | Data.SBV
Bits | Data.SBV
bitSize | Data.SBV
bitSizeMaybe | Data.SBV
Black | Documentation.SBV.Examples.Puzzles.HexPuzzle
blastBE | Data.SBV
blastLE | Data.SBV
blastSDouble | Data.SBV
blastSFloat | Data.SBV
Blue |
1 (Data Constructor) | Documentation.SBV.Examples.Puzzles.Fish
2 (Data Constructor) | Documentation.SBV.Examples.Puzzles.Garden
3 (Data Constructor) | Documentation.SBV.Examples.Puzzles.HexPuzzle
bmap | Data.SBV.List.Bounded
bmapM | Data.SBV.List.Bounded
bmaximum | Data.SBV.List.Bounded
bminimum | Data.SBV.List.Bounded
bne | Documentation.SBV.Examples.BitPrecise.Legato
bnot | Data.SBV
Board |
1 (Type/Class) | Documentation.SBV.Examples.Puzzles.MagicSquare
2 (Type/Class) | Documentation.SBV.Examples.Puzzles.Sudoku
Bono | Documentation.SBV.Examples.Puzzles.U2Bridge
bono | Documentation.SBV.Examples.Puzzles.U2Bridge
Boolean | Data.SBV
Boolector | Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
boolector | Data.SBV, Data.SBV.Dynamic
bOr | Data.SBV
bor | Data.SBV.List.Bounded
Boundary | Data.SBV.Tools.Range
BoundedCW | Data.SBV.Internals, Data.SBV
bprod | Data.SBV.List.Bounded
breverse | Data.SBV.List.Bounded
Briton | Documentation.SBV.Examples.Puzzles.Fish
bsort | Data.SBV.List.Bounded
bsum | Data.SBV.List.Bounded
bumpTime1 | Documentation.SBV.Examples.Puzzles.U2Bridge
bumpTime2 | Documentation.SBV.Examples.Puzzles.U2Bridge
Button | Documentation.SBV.Examples.Puzzles.HexPuzzle
bvAddO | Data.SBV.Tools.Overflow
bvDivO | Data.SBV.Tools.Overflow
bvMulO | Data.SBV.Tools.Overflow
bvMulOFast | Data.SBV.Tools.Overflow
bvNegO | Data.SBV.Tools.Overflow
bvSubO | Data.SBV.Tools.Overflow
byteSwap16 | Data.SBV
byteSwap32 | Data.SBV
byteSwap64 | Data.SBV
bzipWith | Data.SBV.List.Bounded