Package: psmt2-frontend (0.4.0-4 and others)

[ Source: psmt2-frontend  ]

Parse and type-check SMT-LIB 2 (tool)

A library to parse and type-check a conservative extension of the SMT-LIB 2 with prenex polymorphism.

This package provides the command-line tool.

Other Packages Related to psmt2-frontend

• dep: libc6 (>= 2.38)

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libpsmt2-frontend-ocaml (= 0.4.0-4+b3)

  Parse and type-check SMT-LIB 2 (runtime files)

• dep: libzstd1 (>= 1.5.5) [armhf, i386]

  fast lossless compression algorithm

Download psmt2-frontend

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	0.4.0-4+b3	512.2 kB	2,137.0 kB	[list of files]
arm64	0.4.0-4+b3	564.6 kB	2,569.0 kB	[list of files]
armhf	0.4.0-4+b3	193.1 kB	934.0 kB	[list of files]
i386	0.4.0-4+b3	227.5 kB	1,042.0 kB	[list of files]
ppc64el	0.4.0-4+b3	528.8 kB	2,377.0 kB	[list of files]
riscv64	0.4.0-4+b3	532.2 kB	2,253.0 kB	[list of files]
s390x	0.4.0-4+b3	517.9 kB	2,457.0 kB	[list of files]