| ABC | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| AnySolver | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| Boolector | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| checkBad | Data.SBV.Plugin.Examples.MicroController |
| checkGood | Data.SBV.Plugin.Examples.MicroController |
| checkSpec | Data.SBV.Plugin.Examples.MicroController |
| computeLastBad | Data.SBV.Plugin.Examples.MicroController |
| computeLastGood | Data.SBV.Plugin.Examples.MicroController |
| conditionalSetClearCorrect | Data.SBV.Plugin.Examples.BitTricks |
| correct | Data.SBV.Plugin.Examples.Maximum |
| CVC4 | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| Debug | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| elem | Data.SBV.Plugin.Examples.BitTricks |
| fastMaxCorrect | Data.SBV.Plugin.Examples.BitTricks |
| fastMinCorrect | Data.SBV.Plugin.Examples.BitTricks |
| IgnoreFailure | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| isPermutationOf | Data.SBV.Plugin.Examples.MergeSort |
| ListSize | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| maskedMergeCorrect | Data.SBV.Plugin.Examples.BitTricks |
| MathSAT | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| maxTimeSince | Data.SBV.Plugin.Examples.MicroController |
| merge | Data.SBV.Plugin.Examples.MergeSort |
| mergeSort | Data.SBV.Plugin.Examples.MergeSort |
| mergeSortCorrect | Data.SBV.Plugin.Examples.MergeSort |
| myMax | Data.SBV.Plugin.Examples.Maximum |
| Names | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| nonDecreasing | Data.SBV.Plugin.Examples.MergeSort |
| oneIf | Data.SBV.Plugin.Examples.BitTricks |
| oppositeSignsCorrect | Data.SBV.Plugin.Examples.BitTricks |
| options | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| plugin | Data.SBV.Plugin |
| powerOfTwoCorrect | Data.SBV.Plugin.Examples.BitTricks |
| Proved | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| QuickCheck | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| roundPowerOfTwoCorrect | Data.SBV.Plugin.Examples.BitTricks |
| safetyDistance | Data.SBV.Plugin.Examples.MicroController |
| SBV | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| sbv | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| SBVAnnotation | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| SBVOption | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| Skip | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| theorem | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| Uninterpret | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| Verbose | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| Yices | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| Z3 | Data.SBV.Plugin.Data, Data.SBV.Plugin |
| zeroInWord | Data.SBV.Plugin.Examples.BitTricks |