معرفی شرکت ها
libghc-sbv-dev_5.14-1build3_i386.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
symbolic Haskell theorem prover using SMT solving
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Bionic-18.04 |
| مخزن | Ubuntu universe i386 |
| نام بسته | libghc-sbv-dev |
| نام فایل بسته | libghc-sbv-dev_5.14-1build3_i386.deb |
| نسخه بسته | 5.14 |
| انتشار بسته | 1build3 |
| معماری بسته | i386 |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://leventerkok.github.com/sbv/ |
| مجوز | - |
| حجم دانلود | 2757876 |
| حجم نصب | 24551 |
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.
See http://www.haskell.org/ for more information on Haskell.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libghc-sbv-dev_5.14-1build3_amd64.deb | 5.14 | amd64 | Ubuntu universe |
نیازمندی
| مقدار | نام |
|---|---|
| - | libghc-quickcheck-dev-2.9.2-b6676 |
| - | libghc-array-dev-0.5.1.1-4c8b7 |
| - | libghc-async-dev-2.1.1.1-dfd28 |
| - | libghc-base-dev-4.9.1.0-5a696 |
| - | libghc-base-compat-dev-0.9.3-4e385 |
| - | libghc-containers-dev-0.5.7.1-ed950 |
| - | libghc-cracknum-dev-1.9-2b68b |
| - | libghc-data-binary-ieee754-dev-0.4.4-572ef |
| - | libghc-deepseq-dev-1.4.2.0-ab902 |
| - | libghc-directory-dev-1.3.0.0-b5c22 |
| - | libghc-filepath-dev-1.4.1.1-32f1a |
| - | libghc-ghc-dev-8.0.2-00422 |
| - | libghc-mtl-dev-2.2.1-93d32 |
| - | libghc-old-time-dev-1.1.0.3-d6447 |
| - | libghc-pretty-dev-1.1.3.3-92eaa |
| - | libghc-process-dev-1.4.3.0-7d693 |
| - | libghc-random-dev-1.1-a6fcb |
| - | libghc-syb-dev-0.7-caee6 |
| >= 2.3.6-6~ | libc6 |
| - | libgmp10 |
نحوه نصب
نصب پکیج deb libghc-sbv-dev:
sudo apt-get install libghc-sbv-dev_5.14-1build3_i386.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/libHSsbv-5.14-J8DYRkzlBsXA5yWbKEMnUd-ghc8.0.2.so |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/AlgReals.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/AlgReals.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Concrete.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Concrete.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Data.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Data.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Floating.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Floating.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Kind.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Kind.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Model.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Model.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Operations.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Operations.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/PrettyNum.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/PrettyNum.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/STree.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/STree.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Splittable.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Splittable.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Symbolic.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/BitVectors/Symbolic.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/ABC.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/ABC.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/Boolector.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/Boolector.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/CVC4.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/CVC4.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/MathSAT.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/MathSAT.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/Yices.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/Yices.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/Z3.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Bridge/Z3.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Compilers/C.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Compilers/C.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Compilers/CodeGen.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Compilers/CodeGen.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Dynamic.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Dynamic.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/BitPrecise/BitTricks.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/BitPrecise/BitTricks.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/BitPrecise/Legato.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/BitPrecise/Legato.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/BitPrecise/MergeSort.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/BitPrecise/MergeSort.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/BitPrecise/MultMask.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/BitPrecise/MultMask.hi |
| ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd/Data/SBV/Examples/BitPrecise/PrefixSum.dyn_hi |
| ... and 123 more |