Binary package “psmt2-frontend” in ubuntu noble
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.
Source package
Published versions
- psmt2-frontend 0.4.0-3 in amd64 (Release)
- psmt2-frontend 0.4.0-3build1 in amd64 (Proposed)
- psmt2-frontend 0.4.0-3build1 in amd64 (Release)
- psmt2-frontend 0.4.0-3 in arm64 (Release)
- psmt2-frontend 0.4.0-3build1 in arm64 (Proposed)
- psmt2-frontend 0.4.0-3build1 in arm64 (Release)
- psmt2-frontend 0.4.0-3 in armhf (Release)
- psmt2-frontend 0.4.0-3build1 in armhf (Proposed)
- psmt2-frontend 0.4.0-3build1 in armhf (Release)
- psmt2-frontend 0.4.0-3 in ppc64el (Release)
- psmt2-frontend 0.4.0-3build1 in ppc64el (Proposed)
- psmt2-frontend 0.4.0-3build1 in ppc64el (Release)
- psmt2-frontend 0.4.0-3 in riscv64 (Release)
- psmt2-frontend 0.4.0-3build1 in riscv64 (Proposed)
- psmt2-frontend 0.4.0-3build1 in riscv64 (Release)
- psmt2-frontend 0.4.0-3 in s390x (Release)
- psmt2-frontend 0.4.0-3build1 in s390x (Proposed)
- psmt2-frontend 0.4.0-3build1 in s390x (Release)