معرفی شرکت ها
libghc-what4-doc_1.3-4_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Solver-agnostic symbolic values support for issuing queries; documentation
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main all |
| نام بسته | libghc-what4-doc |
| نام فایل بسته | libghc-what4-doc_1.3-4_all.deb |
| نسخه بسته | 1.3 |
| انتشار بسته | 4 |
| معماری بسته | all |
| نگهدارنده | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://github.com/GaloisInc/what4 |
| مجوز | - |
| حجم دانلود | 1432668 |
| حجم نصب | 36176 |
What4 is a generic library for representing values as symbolic formulae which
may contain references to symbolic values, representing unknown variables.
It provides support for communicating with a variety of SAT and SMT solvers,
including Z3, CVC4, Yices, Boolector, STP, and dReal.
The data representation types make heavy use of GADT-style type indices
to ensure type-correct manipulation of symbolic values.
.
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 |
نحوه نصب
نصب پکیج deb libghc-what4-doc:
sudo apt-get install libghc-what4-doc_1.3-4_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/ghc-doc/haddock/what4-1.3/what4.haddock |
| ./usr/share/doc/libghc-what4-doc/buildinfo_all.gz |
| ./usr/share/doc/libghc-what4-doc/changelog.Debian.gz |
| ./usr/share/doc/libghc-what4-doc/changelog.gz |
| ./usr/share/doc/libghc-what4-doc/copyright |
| ./usr/share/doc/libghc-what4-doc/html/CHANGES.md.gz |
| ./usr/share/doc/libghc-what4-doc/html/README.md.gz |
| ./usr/share/doc/libghc-what4-doc/html/Test-Verification.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-BaseTypes.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Concrete.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Config.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Expr-Allocator.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Expr-App.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Expr-AppTheory.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Expr-ArrayUpdateMap.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Expr-BoolMap.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Expr-Builder.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Expr-GroundEval.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Expr-MATLAB.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Expr-Simplify.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Expr-StringSeq.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Expr-UnaryBV.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Expr-VarIdentification.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Expr-WeightedSum.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Expr.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-FloatMode.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-FunctionName.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-IndexLit.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Interface.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-InterpretedFloatingPoint.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-LabeledPred.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Panic.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Partial.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-ProblemFeatures.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-ProgramLoc.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Protocol-Online.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Protocol-PolyRoot.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Protocol-ReadDecimal.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Protocol-SExp.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Protocol-SMTLib2-Parse.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Protocol-SMTLib2-Response.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Protocol-SMTLib2-Syntax.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Protocol-SMTLib2.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Protocol-SMTWriter.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Protocol-VerilogWriter-ABCVerilog.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Protocol-VerilogWriter-AST.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Protocol-VerilogWriter-Backend.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-Protocol-VerilogWriter.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-SFloat.html |
| ./usr/share/doc/libghc-what4-doc/html/What4-SWord.html |
| ... and 168 more |