معرفی شرکت ها
libghc-sbv-doc_5.14-1build3_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
symbolic Haskell theorem prover using SMT solving; documentation
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Bionic-18.04 |
| مخزن | Ubuntu universe all |
| نام بسته | libghc-sbv-doc |
| نام فایل بسته | libghc-sbv-doc_5.14-1build3_all.deb |
| نسخه بسته | 5.14 |
| انتشار بسته | 1build3 |
| معماری بسته | all |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://leventerkok.github.com/sbv/ |
| مجوز | - |
| حجم دانلود | 533368 |
| حجم نصب | 9946 |
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-28 |
نحوه نصب
نصب پکیج deb libghc-sbv-doc:
sudo apt-get install libghc-sbv-doc_5.14-1build3_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/ghc-doc/haddock/sbv-5.14/sbv.haddock |
| ./usr/share/doc/libghc-sbv-doc/changelog.Debian.gz |
| ./usr/share/doc/libghc-sbv-doc/copyright |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Bridge-ABC.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Bridge-Boolector.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Bridge-CVC4.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Bridge-MathSAT.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Bridge-Yices.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Bridge-Z3.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Dynamic.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-BitPrecise-BitTricks.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-BitPrecise-Legato.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-BitPrecise-MergeSort.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-BitPrecise-MultMask.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-BitPrecise-PrefixSum.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-CodeGeneration-AddSub.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-CodeGeneration-CRC_USB5.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-CodeGeneration-Fibonacci.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-CodeGeneration-GCD.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-CodeGeneration-PopulationCount.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-CodeGeneration-Uninterpreted.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Crypto-AES.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Crypto-RC4.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Existentials-CRCPolynomial.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Existentials-Diophantine.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Misc-Auxiliary.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Misc-Enumerate.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Misc-Floating.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Misc-ModelExtract.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Misc-NoDiv0.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Misc-Word4.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Polynomials-Polynomials.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Puzzles-Birthday.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Puzzles-Coins.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Puzzles-Counts.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Puzzles-DogCatMouse.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Puzzles-Euler185.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Puzzles-Fish.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Puzzles-MagicSquare.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Puzzles-NQueens.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Puzzles-SendMoreMoney.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Puzzles-Sudoku.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Puzzles-U2Bridge.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Uninterpreted-AUF.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Uninterpreted-Deduce.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Uninterpreted-Function.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Uninterpreted-Shannon.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Uninterpreted-Sort.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Examples-Uninterpreted-UISortAllSat.html |
| ./usr/share/doc/libghc-sbv-doc/html/Data-SBV-Internals.html |
| ... and 180 more |