Version 7.12-0 of sbv is deprecated.
The latest version of sbv is 10.12-0.
lib:sbv
Modules
- Data.SBV
- Data.SBV.Char
- Data.SBV.Control
- Data.SBV.Dynamic
- Data.SBV.Internals
- Data.SBV.List
- Data.SBV.List.Bounded
- Data.SBV.RegExp
- Data.SBV.String
- Data.SBV.Tools.CodeGen
- Data.SBV.Tools.GenTest
- Data.SBV.Tools.Overflow
- Data.SBV.Tools.Polynomial
- Data.SBV.Tools.STree
- Documentation.SBV.Examples.BitPrecise.BitTricks
- Documentation.SBV.Examples.BitPrecise.BrokenSearch
- Documentation.SBV.Examples.BitPrecise.Legato
- Documentation.SBV.Examples.BitPrecise.MergeSort
- Documentation.SBV.Examples.BitPrecise.MultMask
- Documentation.SBV.Examples.BitPrecise.PrefixSum
- Documentation.SBV.Examples.CodeGeneration.AddSub
- Documentation.SBV.Examples.CodeGeneration.CRC_USB5
- Documentation.SBV.Examples.CodeGeneration.Fibonacci
- Documentation.SBV.Examples.CodeGeneration.GCD
- Documentation.SBV.Examples.CodeGeneration.PopulationCount
- Documentation.SBV.Examples.CodeGeneration.Uninterpreted
- Documentation.SBV.Examples.Crypto.AES
- Documentation.SBV.Examples.Crypto.RC4
- Documentation.SBV.Examples.Existentials.CRCPolynomial
- Documentation.SBV.Examples.Existentials.Diophantine
- Documentation.SBV.Examples.Lists.BoundedMutex
- Documentation.SBV.Examples.Lists.Fibonacci
- Documentation.SBV.Examples.Lists.Nested
- Documentation.SBV.Examples.Misc.Auxiliary
- Documentation.SBV.Examples.Misc.Enumerate
- Documentation.SBV.Examples.Misc.Floating
- Documentation.SBV.Examples.Misc.ModelExtract
- Documentation.SBV.Examples.Misc.NoDiv0
- Documentation.SBV.Examples.Misc.Polynomials
- Documentation.SBV.Examples.Misc.SoftConstrain
- Documentation.SBV.Examples.Misc.Word4
- Documentation.SBV.Examples.Optimization.ExtField
- Documentation.SBV.Examples.Optimization.LinearOpt
- Documentation.SBV.Examples.Optimization.Production
- Documentation.SBV.Examples.Optimization.VM
- Documentation.SBV.Examples.Puzzles.Birthday
- Documentation.SBV.Examples.Puzzles.Coins
- Documentation.SBV.Examples.Puzzles.Counts
- Documentation.SBV.Examples.Puzzles.DogCatMouse
- Documentation.SBV.Examples.Puzzles.Euler185
- Documentation.SBV.Examples.Puzzles.Fish
- Documentation.SBV.Examples.Puzzles.HexPuzzle
- Documentation.SBV.Examples.Puzzles.MagicSquare
- Documentation.SBV.Examples.Puzzles.NQueens
- Documentation.SBV.Examples.Puzzles.SendMoreMoney
- Documentation.SBV.Examples.Puzzles.Sudoku
- Documentation.SBV.Examples.Puzzles.U2Bridge
- Documentation.SBV.Examples.Queries.AllSat
- Documentation.SBV.Examples.Queries.CaseSplit
- Documentation.SBV.Examples.Queries.Enums
- Documentation.SBV.Examples.Queries.FourFours
- Documentation.SBV.Examples.Queries.GuessNumber
- Documentation.SBV.Examples.Queries.Interpolants
- Documentation.SBV.Examples.Queries.UnsatCore
- Documentation.SBV.Examples.Strings.RegexCrossword
- Documentation.SBV.Examples.Strings.SQLInjection
- Documentation.SBV.Examples.Uninterpreted.AUF
- Documentation.SBV.Examples.Uninterpreted.Deduce
- Documentation.SBV.Examples.Uninterpreted.Function
- Documentation.SBV.Examples.Uninterpreted.Shannon
- Documentation.SBV.Examples.Uninterpreted.Sort
- Documentation.SBV.Examples.Uninterpreted.UISortAllSat
Dependencies
- QuickCheck lib:QuickCheck >=0
- array lib:array >=0
- async lib:async >=0
- base lib:base >=4.9 && <5
- containers lib:containers >=0
- crackNum lib:crackNum >=2.2
- deepseq lib:deepseq >=0
- directory lib:directory >=0
- filepath lib:filepath >=0
- generic-deriving lib:generic-deriving >=0
- ghc lib:ghc >=0
- mtl lib:mtl >=0
- pretty lib:pretty >=0
- process lib:process >=0
- random lib:random >=0
- reinterpret-cast lib:reinterpret-cast >=0
- syb lib:syb >=0
- template-haskell lib:template-haskell >=0
- time lib:time >=0
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