Alle Optionen
bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: psmt2-frontend  ]

Paket: libpsmt2-frontend-ocaml (0.4.0-1)

Links für libpsmt2-frontend-ocaml

Screenshot

Debian-Ressourcen:

Quellcode-Paket psmt2-frontend herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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

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

This package provides the runtime files.

Andere Pakete mit Bezug zu libpsmt2-frontend-ocaml

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libpsmt2-frontend-ocaml herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
mipsel 429,8 kB1.677,0 kB [Liste der Dateien]