Paket: psmt2-frontend (0.4.0-3 ve diğerleri) [debports]
psmt2-frontend için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [github.com]
Benzer paketler:
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.
psmt2-frontend ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libc6 (>= 2.35)
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
-
- dep: libpsmt2-frontend-ocaml (= 0.4.0-3+b1)
- Parse and type-check SMT-LIB 2 (runtime files)
psmt2-frontend indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| m68k (resmi olmayan port) | 0.4.0-3+b1 | 147,8 kB | 814,0 kB | [dosya listesi] |