Version 1.0-1 of sbv is deprecated.
The latest version of sbv is 10.12-0.
lib:sbv
Modules
- Data.SBV
- Data.SBV.Examples.BitPrecise.BitTricks
- Data.SBV.Examples.BitPrecise.Legato
- Data.SBV.Examples.BitPrecise.PrefixSum
- Data.SBV.Examples.CodeGeneration.AddSub
- Data.SBV.Examples.CodeGeneration.CRC_USB5
- Data.SBV.Examples.CodeGeneration.Fibonacci
- Data.SBV.Examples.CodeGeneration.GCD
- Data.SBV.Examples.CodeGeneration.PopulationCount
- Data.SBV.Examples.CodeGeneration.Uninterpreted
- Data.SBV.Examples.Crypto.AES
- Data.SBV.Examples.Crypto.RC4
- Data.SBV.Examples.Existentials.CRCPolynomial
- Data.SBV.Examples.Polynomials.Polynomials
- Data.SBV.Examples.Puzzles.Coins
- Data.SBV.Examples.Puzzles.Counts
- Data.SBV.Examples.Puzzles.DogCatMouse
- Data.SBV.Examples.Puzzles.Euler185
- Data.SBV.Examples.Puzzles.MagicSquare
- Data.SBV.Examples.Puzzles.NQueens
- Data.SBV.Examples.Puzzles.Sudoku
- Data.SBV.Examples.Puzzles.U2Bridge
- Data.SBV.Examples.Uninterpreted.AUF
- Data.SBV.Examples.Uninterpreted.Function
- Data.SBV.Internals
Dependencies
- QuickCheck lib:QuickCheck >=2.4.0.1
- array lib:array >=0.3.0.1
- base lib:base >=3 && <4.8
- containers lib:containers >=0.3.0.0
- deepseq lib:deepseq >=1.1.0.2
- directory lib:directory >=1.0.1.1
- filepath lib:filepath >=1.1.0.4
- mtl lib:mtl >=2.0.1.0
- old-time lib:old-time >=1.0.0.5
- pretty lib:pretty >=1.0.1.1
- process lib:process >=1.0.1.3
- random lib:random >=1.0.1.1
- strict-concurrency lib:strict-concurrency >=0.2.4.1
Reverse dependencies
Direct only. Not exhaustive.
- copilot-sbv lib:copilot-sbv
- linearEqSolver lib:linearEqSolver
- regex-genex exe:genex
- regex-genex lib:regex-genex
- sbv exe:SBVUnitTests
- sbv test:SBVBasicTests