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

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.AUF
4 (Type/Class)Documentation.SBV.Examples.Uninterpreted.Deduce
5 (Data Constructor)Documentation.SBV.Examples.Uninterpreted.Deduce
bAllData.SBV
bAndData.SBV
bAnyData.SBV
BaseballDocumentation.SBV.Examples.Puzzles.Fish
basisDocumentation.SBV.Examples.Existentials.Diophantine
bccDocumentation.SBV.Examples.BitPrecise.Legato
BeerDocumentation.SBV.Examples.Puzzles.Fish
BeverageDocumentation.SBV.Examples.Puzzles.Fish
binData.SBV.Internals
BinaryDocumentation.SBV.Examples.Uninterpreted.Shannon
BinOpDocumentation.SBV.Examples.Queries.FourFours
binSData.SBV.Internals
BirdDocumentation.SBV.Examples.Puzzles.Fish
BitDocumentation.SBV.Examples.BitPrecise.Legato
bitData.SBV
bitDefaultData.SBV
BitsData.SBV
bitSizeData.SBV
bitSizeMaybeData.SBV
blastBEData.SBV
blastLEData.SBV
blastSDoubleData.SBV
blastSFloatData.SBV
BlueDocumentation.SBV.Examples.Puzzles.Fish
bneDocumentation.SBV.Examples.BitPrecise.Legato
bnotData.SBV
Board 
1 (Type/Class)Documentation.SBV.Examples.Puzzles.MagicSquare
2 (Type/Class)Documentation.SBV.Examples.Puzzles.Sudoku
BonoDocumentation.SBV.Examples.Puzzles.U2Bridge
bonoDocumentation.SBV.Examples.Puzzles.U2Bridge
BooleanData.SBV
BoolectorData.SBV.Internals, Data.SBV, Data.SBV.Dynamic
boolectorData.SBV, Data.SBV.Dynamic
bOrData.SBV
BoundedCWData.SBV.Internals, Data.SBV
BritonDocumentation.SBV.Examples.Puzzles.Fish
bumpTime1Documentation.SBV.Examples.Puzzles.U2Bridge
bumpTime2Documentation.SBV.Examples.Puzzles.U2Bridge
byteSwap16Data.SBV
byteSwap32Data.SBV
byteSwap64Data.SBV