sbv-10.2: 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.Misc.FirstOrderLogic
3 (Data Constructor) | Documentation.SBV.Examples.Queries.FourFours
4 (Type/Class) | Documentation.SBV.Examples.Uninterpreted.Deduce
BadPostcondition | Data.SBV.Tools.WeakestPreconditions
BadPrecondition | Data.SBV.Tools.WeakestPreconditions
ball | Data.SBV.Tools.BoundedList
band | Data.SBV.Tools.BoundedList
bany | Data.SBV.Tools.BoundedList
Bar | Documentation.SBV.Examples.Puzzles.Murder
Basahan | Documentation.SBV.Examples.Puzzles.Orangutans
Baseball | Documentation.SBV.Examples.Puzzles.Fish
basis | Documentation.SBV.Examples.Existentials.Diophantine
bcc | Documentation.SBV.Examples.BitPrecise.Legato
BD | Documentation.SBV.Examples.Puzzles.Birthday
Beach | Documentation.SBV.Examples.Puzzles.Murder
Beer | Documentation.SBV.Examples.Puzzles.Fish
belem | Data.SBV.Tools.BoundedList
Beverage | Documentation.SBV.Examples.Puzzles.Fish
bfilter | Data.SBV.Tools.BoundedList
bfix | Data.SBV.Tools.BoundedFix
bfoldl | Data.SBV.Tools.BoundedList
bfoldlM | Data.SBV.Tools.BoundedList
bfoldr | Data.SBV.Tools.BoundedList
bfoldrM | Data.SBV.Tools.BoundedList
bill | Documentation.SBV.Examples.Puzzles.KnightsAndKnaves
bimap | Data.SBV.Either
bin | Data.SBV.Internals
Binary | Documentation.SBV.Examples.Uninterpreted.Shannon
BinOp | Documentation.SBV.Examples.Queries.FourFours
binP | Data.SBV.Internals
binS | Data.SBV.Internals
Bird | Documentation.SBV.Examples.Puzzles.Fish
Birthday | Documentation.SBV.Examples.Puzzles.Birthday
Bit | Documentation.SBV.Examples.BitPrecise.Legato
bit | Data.SBV.Trans, Data.SBV
bitDefault | Data.SBV.Trans, Data.SBV
bitReverse16 | Data.SBV.Trans, Data.SBV
bitReverse32 | Data.SBV.Trans, Data.SBV
bitReverse64 | Data.SBV.Trans, Data.SBV
bitReverse8 | Data.SBV.Trans, Data.SBV
Bits | Data.SBV.Trans, Data.SBV
bitSize | Data.SBV.Trans, Data.SBV
bitSizeMaybe | Data.SBV.Trans, Data.SBV
Bitwuzla | Data.SBV.Internals, Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic
bitwuzla | Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic
Black | Documentation.SBV.Examples.Puzzles.HexPuzzle
black | Documentation.SBV.Examples.Puzzles.Rabbits
blastBE | Data.SBV.Trans, Data.SBV
blastLE | Data.SBV.Trans, Data.SBV
blastSDouble | Data.SBV.Trans, Data.SBV
blastSFloat | Data.SBV.Trans, Data.SBV
blastSFloatingPoint | Data.SBV.Trans, Data.SBV
Block |
1 (Type/Class) | Documentation.SBV.Examples.Crypto.Prince
2 (Type/Class) | Documentation.SBV.Examples.Crypto.SHA
3 (Data Constructor) | Documentation.SBV.Examples.Crypto.SHA
blockSize | Documentation.SBV.Examples.Crypto.SHA
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.Tools.BoundedList
bmapM | Data.SBV.Tools.BoundedList
bmaximum | Data.SBV.Tools.BoundedList
bmc | Data.SBV.Tools.BMC
bmcWith | Data.SBV.Tools.BMC
bminimum | Data.SBV.Tools.BoundedList
bne | Documentation.SBV.Examples.BitPrecise.Legato
Board |
1 (Type/Class) | Documentation.SBV.Examples.Puzzles.MagicSquare
2 (Type/Class) | Documentation.SBV.Examples.Puzzles.Sudoku
Bono | Documentation.SBV.Examples.Puzzles.U2Bridge
Boolector | Data.SBV.Internals, Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic
boolector | Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic
bor | Data.SBV.Tools.BoundedList
Boundary | Data.SBV.Tools.Range
BoundedCV | Data.SBV.Internals, Data.SBV.Trans, Data.SBV
bprod | Data.SBV.Tools.BoundedList
breverse | Data.SBV.Tools.BoundedList
Briton | Documentation.SBV.Examples.Puzzles.Fish
bsort | Data.SBV.Tools.BoundedList
bsum | Data.SBV.Tools.BoundedList
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
bvDrop |
1 (Function) | Data.SBV.Trans
2 (Function) | Data.SBV
bvExtract |
1 (Function) | Data.SBV.Trans
2 (Function) | Data.SBV
BVIsNonZero | Data.SBV.Trans, Data.SBV
bvMulO | Data.SBV.Tools.Overflow
bvMulOFast | Data.SBV.Tools.Overflow
bvNegO | Data.SBV.Tools.Overflow
bvSubO | Data.SBV.Tools.Overflow
bvTake |
1 (Function) | Data.SBV.Trans
2 (Function) | Data.SBV
Bystander | Documentation.SBV.Examples.Puzzles.Murder
ByteConverter | Data.SBV
byteSwap16 | Data.SBV.Trans, Data.SBV
byteSwap32 | Data.SBV.Trans, Data.SBV
byteSwap64 | Data.SBV.Trans, Data.SBV
bzipWith | Data.SBV.Tools.BoundedList