Balík: psmt2-frontend (0.4.0-3 a iné) [debports]

[ Zdroj:  ]

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.

Ostatné balíky súvisiace s balíkom psmt2-frontend

• dep: libc6 (>= 2.35)

  knižnica GNU C - zdieľané knižnice
  tiež virtuálny balík poskytovaný balíkom libc6-udeb

• dep: libpsmt2-frontend-ocaml (= 0.4.0-3+b1)

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

Stiahnuť psmt2-frontend

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
m68k (neoficiálny port)	0.4.0-3+b1	147.8 kB	814.0 kB	[zoznam súborov]