Paket: libz3-ocaml-dev (4.4.1-1~deb10u1)

[ Quellcode: z3  ]

theorem prover from Microsoft Research - OCaml bindings

Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3 package for a detailed description.

This package can be used to invoke Z3 via its OCaml API.

Markierungen: Software-Entwicklung: Bibliotheken, Rolle: Entwicklungs-Bibliothek

Andere Pakete mit Bezug zu libz3-ocaml-dev

• dep: libc6 (>= 2.4)

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

• dep: libz3-4

  Theorembeweiser von Microsoft Research - Laufzeitbibliotheken

• dep: libz3-dev (= 4.4.1-1~deb10u1)

  Theorembeweiser von Microsoft Research - Entwicklungsdateien

• dep: ocaml-nox-4.05.0

  virtuelles Paket, bereitgestellt durch ocaml-nox

• rec: ocaml-findlib

  Verwaltungswerkzeug für OCaml-Bibliotheken

libz3-ocaml-dev herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	513,8 kB	6.479,0 kB	[Liste der Dateien]