psmt2-frontend
Parse and type-check SMT-LIB 2 (tool)
Command lineDevelopment
Not tested on a device yet. What that means
Commands in the package
psmt2-frontend_bin
About psmt2-frontend
From Debian's package description
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.
From Debian's description of the psmt2-frontend package, under that package's license.
Dependencies
Depends on
libc6libpsmt2-frontend-ocaml
Related apps
- dh-fortran-moddebhelper add-on to handle Fortran '.mod' filesCommand line
- coderayHelper programs for CodeRay Ruby lib for syntax highlightingCommand line
- cudf-toolscommand line tools for package upgrade problem descriptionsCommand line
- python-is-python3symlinks /usr/bin/python to python3Command line
- python-dev-is-python3symlinks /usr/bin/python-config to python3-configCommand line
- ansifilter (ansifilter)parse common (terminal) ANSI codes and remove or convert themCommand line
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the psmt2-frontend package, under that package's license.
- Description: Debian's description of the psmt2-frontend package, under that package's license.
- Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
- Popularity: Debian Popularity Contest counts.
More in About the catalog.