all options
[  bookworm  ] [  trixie  ] [  sid  ]
[ Source: haskell-what4  ]

Package: libghc-what4-dev (1.5.1-4 and others)

Links for libghc-what4-dev

Screenshot

Debian Resources:

Download Source Package haskell-what4:

Maintainers:

External Resources:

Similar packages:

Understøttelse af symbolske værdier uafhængig af løser for udstedelse af forespørgsler

What4 er et generisk bibliotek til at repræsentere værdier som en symbolsk formel, der kan indeholde referencer til symbolske værdier, repræsenterende ukendte variabler. Tilbyder understøttelse for kommunikation med en række SAT- og SMT-løsere, inklusive Z3, CVC4, CVC5, Yices, Boolector, STP og dReal. Datarepræsentationstyperne gør stærk brug af typeindicer i GADT-stil for at sikre typekorrekt manipulation af symbolske værdier.

Denne pakke tilbyder et bibliotek til programmeringssproget Haskell. Se http://www.haskell.org/ for yderligere information om Haskell.

Other Packages Related to libghc-what4-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libghc-what4-dev

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 1.5.1-4+b2 4,178.7 kB41,766.0 kB [list of files]
arm64 1.5.1-4+b2 4,477.7 kB49,041.0 kB [list of files]
armel 1.5.1-4+b3 5,660.8 kB52,636.0 kB [list of files]
armhf 1.5.1-4+b3 5,551.5 kB51,945.0 kB [list of files]
i386 1.5.1-4+b3 7,000.2 kB56,523.0 kB [list of files]
m68k (unofficial port) 1.3-4 5,799.9 kB51,693.0 kB [list of files]
mips64el 1.5.1-4+b3 6,352.0 kB78,096.0 kB [list of files]
ppc64 (unofficial port) 1.5.1-4+b2 5,492.9 kB77,694.0 kB [list of files]
ppc64el 1.5.1-4+b2 5,756.6 kB69,676.0 kB [list of files]
riscv64 1.5.1-4+b2 7,915.9 kB88,288.0 kB [list of files]
s390x 1.5.1-4+b2 7,438.2 kB88,811.0 kB [list of files]
sparc64 (unofficial port) 1.5.1-4+b1 6,880.3 kB106,101.0 kB [list of files]