lib:sbv
Modules
- Data.SBV
- Data.SBV.Char
- Data.SBV.Control
- Data.SBV.Dynamic
- Data.SBV.Either
- Data.SBV.Float
- Data.SBV.Internals
- Data.SBV.List
- Data.SBV.Maybe
- Data.SBV.Rational
- Data.SBV.RegExp
- Data.SBV.Set
- Data.SBV.String
- Data.SBV.Tools.BMC
- Data.SBV.Tools.BVOptimize
- Data.SBV.Tools.BoundedFix
- Data.SBV.Tools.BoundedList
- Data.SBV.Tools.CodeGen
- Data.SBV.Tools.GenTest
- Data.SBV.Tools.Induction
- Data.SBV.Tools.NaturalInduction
- Data.SBV.Tools.Overflow
- Data.SBV.Tools.Polynomial
- Data.SBV.Tools.Range
- Data.SBV.Tools.STree
- Data.SBV.Tools.WeakestPreconditions
- Data.SBV.Trans
- Data.SBV.Trans.Control
- Data.SBV.Tuple
- Documentation.SBV.Examples.BitPrecise.BitTricks
- Documentation.SBV.Examples.BitPrecise.BrokenSearch
- Documentation.SBV.Examples.BitPrecise.Legato
- Documentation.SBV.Examples.BitPrecise.MergeSort
- Documentation.SBV.Examples.BitPrecise.PEXT_PDEP
- 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.Prince
- Documentation.SBV.Examples.Crypto.RC4
- Documentation.SBV.Examples.Crypto.SHA
- Documentation.SBV.Examples.DeltaSat.DeltaSat
- Documentation.SBV.Examples.Existentials.Diophantine
- Documentation.SBV.Examples.Lists.BoundedMutex
- Documentation.SBV.Examples.Lists.CountOutAndTransfer
- Documentation.SBV.Examples.Lists.Fibonacci
- Documentation.SBV.Examples.Misc.Auxiliary
- Documentation.SBV.Examples.Misc.Definitions
- Documentation.SBV.Examples.Misc.Enumerate
- Documentation.SBV.Examples.Misc.FirstOrderLogic
- Documentation.SBV.Examples.Misc.Floating
- Documentation.SBV.Examples.Misc.LambdaArray
- Documentation.SBV.Examples.Misc.ModelExtract
- Documentation.SBV.Examples.Misc.NestedArray
- Documentation.SBV.Examples.Misc.Newtypes
- Documentation.SBV.Examples.Misc.NoDiv0
- Documentation.SBV.Examples.Misc.Polynomials
- Documentation.SBV.Examples.Misc.ProgramPaths
- Documentation.SBV.Examples.Misc.SetAlgebra
- Documentation.SBV.Examples.Misc.SoftConstrain
- Documentation.SBV.Examples.Misc.Tuple
- Documentation.SBV.Examples.Optimization.Enumerate
- Documentation.SBV.Examples.Optimization.ExtField
- Documentation.SBV.Examples.Optimization.LinearOpt
- Documentation.SBV.Examples.Optimization.Production
- Documentation.SBV.Examples.Optimization.VM
- Documentation.SBV.Examples.ProofTools.AddHorn
- Documentation.SBV.Examples.ProofTools.BMC
- Documentation.SBV.Examples.ProofTools.Fibonacci
- Documentation.SBV.Examples.ProofTools.Strengthen
- Documentation.SBV.Examples.ProofTools.Sum
- Documentation.SBV.Examples.Puzzles.AOC_2021_24
- Documentation.SBV.Examples.Puzzles.Birthday
- Documentation.SBV.Examples.Puzzles.Coins
- Documentation.SBV.Examples.Puzzles.Counts
- Documentation.SBV.Examples.Puzzles.DogCatMouse
- Documentation.SBV.Examples.Puzzles.Drinker
- Documentation.SBV.Examples.Puzzles.Euler185
- Documentation.SBV.Examples.Puzzles.Fish
- Documentation.SBV.Examples.Puzzles.Garden
- Documentation.SBV.Examples.Puzzles.HexPuzzle
- Documentation.SBV.Examples.Puzzles.Jugs
- Documentation.SBV.Examples.Puzzles.KnightsAndKnaves
- Documentation.SBV.Examples.Puzzles.LadyAndTigers
- Documentation.SBV.Examples.Puzzles.MagicSquare
- Documentation.SBV.Examples.Puzzles.Murder
- Documentation.SBV.Examples.Puzzles.NQueens
- Documentation.SBV.Examples.Puzzles.Newspaper
- Documentation.SBV.Examples.Puzzles.Orangutans
- Documentation.SBV.Examples.Puzzles.Rabbits
- Documentation.SBV.Examples.Puzzles.SendMoreMoney
- Documentation.SBV.Examples.Puzzles.Sudoku
- Documentation.SBV.Examples.Puzzles.Tower
- Documentation.SBV.Examples.Puzzles.U2Bridge
- Documentation.SBV.Examples.Queries.Abducts
- Documentation.SBV.Examples.Queries.AllSat
- Documentation.SBV.Examples.Queries.CaseSplit
- Documentation.SBV.Examples.Queries.Concurrency
- 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.Transformers.SymbolicEval
- Documentation.SBV.Examples.Uninterpreted.AUF
- Documentation.SBV.Examples.Uninterpreted.Deduce
- Documentation.SBV.Examples.Uninterpreted.Function
- Documentation.SBV.Examples.Uninterpreted.Multiply
- Documentation.SBV.Examples.Uninterpreted.Shannon
- Documentation.SBV.Examples.Uninterpreted.Sort
- Documentation.SBV.Examples.Uninterpreted.UISortAllSat
- Documentation.SBV.Examples.WeakestPreconditions.Append
- Documentation.SBV.Examples.WeakestPreconditions.Basics
- Documentation.SBV.Examples.WeakestPreconditions.Fib
- Documentation.SBV.Examples.WeakestPreconditions.GCD
- Documentation.SBV.Examples.WeakestPreconditions.IntDiv
- Documentation.SBV.Examples.WeakestPreconditions.IntSqrt
- Documentation.SBV.Examples.WeakestPreconditions.Length
- Documentation.SBV.Examples.WeakestPreconditions.Sum
Dependencies
- QuickCheck lib:QuickCheck >=0
- array lib:array >=0
- async lib:async >=2.2.5
- base lib:base >=4.16 && <5
- containers lib:containers >=0
- deepseq lib:deepseq >=0
- directory lib:directory >=0
- filepath lib:filepath >=0
- libBF lib:libBF >=0.6.8
- mtl lib:mtl >=0
- pretty lib:pretty >=0
- process lib:process >=0
- random lib:random >=0
- syb lib:syb >=0
- template-haskell lib:template-haskell >=0
- text lib:text >=0
- time lib:time >=0
- transformers lib:transformers >=0
- uniplate lib:uniplate >=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