معرفی شرکت ها
libghc-sbv-doc_8.17-1_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
symbolic Haskell theorem prover using SMT solving; documentation
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main all |
| نام بسته | libghc-sbv-doc |
| نام فایل بسته | libghc-sbv-doc_8.17-1_all.deb |
| نسخه بسته | 8.17 |
| انتشار بسته | 1 |
| معماری بسته | all |
| نگهدارنده | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://leventerkok.github.io/sbv/ |
| مجوز | - |
| حجم دانلود | 1795508 |
| حجم نصب | 44867 |
Express properties about Haskell programs and automatically prove them
using SMT (Satisfiability Modulo Theories) solvers.
.
This package provides the documentation for a library for the Haskell
programming language.
See http://www.haskell.org/ for more information on Haskell.
نیازمندی
| مقدار | نام |
|---|---|
| - | haddock-interface-38 |
| >= 1.28 | sgml-base |
نحوه نصب
نصب پکیج deb libghc-sbv-doc:
sudo apt-get install libghc-sbv-doc_8.17-1_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/ghc-doc/haddock/sbv-8.17/sbv.haddock |
| ./usr/share/doc/libghc-sbv-doc/buildinfo_all.gz |
| ./usr/share/doc/libghc-sbv-doc/changelog.Debian.gz |
| ./usr/share/doc/libghc-sbv-doc/changelog.gz |
| ./usr/share/doc/libghc-sbv-doc/copyright |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Char.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Control.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Dynamic.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Either.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Float.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Internals.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-List.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Maybe.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Rational.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-RegExp.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Set.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-String.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-BMC.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-BoundedFix.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-BoundedList.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-CodeGen.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-GenTest.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-Induction.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-Overflow.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-Polynomial.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-Range.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-STree.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-WeakestPreconditions.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Trans-Control.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Trans.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tuple.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-BitPrecise-BitTricks.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-BitPrecise-BrokenSearch.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-BitPrecise-Legato.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-BitPrecise-MergeSort.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-BitPrecise-MultMask.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-BitPrecise-PrefixSum.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-CodeGeneration-AddSub.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-CodeGeneration-CRC_USB5.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-CodeGeneration-Fibonacci.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-CodeGeneration-GCD.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-CodeGeneration-PopulationCount.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-CodeGeneration-Uninterpreted.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Crypto-AES.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Crypto-RC4.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Crypto-SHA.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-DeltaSat-DeltaSat.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Existentials-CRCPolynomial.html |
| ./usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Existentials-Diophantine.html |
| ... and 264 more |