معرفی شرکت ها
libghc-sbv-prof_5.14-1build3_amd64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
symbolic Haskell theorem prover using SMT solving; profiling libraries
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Bionic-18.04 |
| مخزن | Ubuntu universe amd64 |
| نام بسته | libghc-sbv-prof |
| نام فایل بسته | libghc-sbv-prof_5.14-1build3_amd64.deb |
| نسخه بسته | 5.14 |
| انتشار بسته | 1build3 |
| معماری بسته | amd64 |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://leventerkok.github.com/sbv/ |
| مجوز | - |
| حجم دانلود | 2351160 |
| حجم نصب | 27291 |
Express properties about Haskell programs and automatically prove them
using SMT (Satisfiability Modulo Theories) solvers.
.
This package provides a library for the Haskell programming language, compiled
for profiling. See http://www.haskell.org/ for more information on Haskell.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libghc-sbv-prof_5.14-1build3_i386.deb | 5.14 | i386 | Ubuntu universe |
نیازمندی
| مقدار | نام |
|---|---|
| = 5.14-1build3 | libghc-sbv-dev |
| - | libghc-quickcheck-prof-2.9.2-13014 |
| - | libghc-array-prof-0.5.1.1-581e7 |
| - | libghc-async-prof-2.1.1.1-a35d4 |
| - | libghc-base-prof-4.9.1.0-d28d6 |
| - | libghc-base-compat-prof-0.9.3-8575a |
| - | libghc-containers-prof-0.5.7.1-cd211 |
| - | libghc-cracknum-prof-1.9-83195 |
| - | libghc-data-binary-ieee754-prof-0.4.4-c4a0e |
| - | libghc-deepseq-prof-1.4.2.0-fb727 |
| - | libghc-directory-prof-1.3.0.0-41ad6 |
| - | libghc-filepath-prof-1.4.1.1-59c71 |
| - | libghc-ghc-prof-8.0.2-c6afc |
| - | libghc-mtl-prof-2.2.1-1a6c5 |
| - | libghc-old-time-prof-1.1.0.3-a85e0 |
| - | libghc-pretty-prof-1.1.3.3-912de |
| - | libghc-process-prof-1.4.3.0-996f5 |
| - | libghc-random-prof-1.1-4f44e |
| - | libghc-syb-prof-0.7-ef079 |
نحوه نصب
نصب پکیج deb libghc-sbv-prof:
sudo apt-get install libghc-sbv-prof_5.14-1build3_amd64.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/AlgReals.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Concrete.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Data.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Floating.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Kind.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Model.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Operations.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/PrettyNum.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/STree.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Splittable.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Symbolic.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/ABC.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/Boolector.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/CVC4.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/MathSAT.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/Yices.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/Z3.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Compilers/C.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Compilers/CodeGen.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Dynamic.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/BitPrecise/BitTricks.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/BitPrecise/Legato.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/BitPrecise/MergeSort.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/BitPrecise/MultMask.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/BitPrecise/PrefixSum.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/CodeGeneration/AddSub.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/CodeGeneration/CRC_USB5.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/CodeGeneration/Fibonacci.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/CodeGeneration/GCD.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/CodeGeneration/PopulationCount.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/CodeGeneration/Uninterpreted.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Crypto/AES.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Crypto/RC4.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Existentials/CRCPolynomial.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Existentials/Diophantine.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Misc/Auxiliary.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Misc/Enumerate.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Misc/Floating.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Misc/ModelExtract.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Misc/NoDiv0.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Misc/Word4.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Polynomials/Polynomials.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Puzzles/Birthday.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Puzzles/Coins.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Puzzles/Counts.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Puzzles/DogCatMouse.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Puzzles/Euler185.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Puzzles/Fish.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Puzzles/MagicSquare.p_hi |
| ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/Puzzles/NQueens.p_hi |
| ... and 37 more |