package smtml

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

An SMT solver frontend for OCaml

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

J

João Pereira <joaomhmpereira@tecnico.ulisboa.pt>
F

Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
H

Hichem Rami Ait El Hara <hra@ocamlpro.com>
L

Léo Andrès <contact@ndrs.fr>
A

Arthur Carcano <arthur.carcano@ocamlpro.com>
P

Pierre Chambart <pierre.chambart@ocamlpro.com>
J

José Fragoso Santos <jose.fragoso@tecnico.ulisboa.pt>

Maintainers

F

Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>

Sources

v0.8.0.tar.gz

md5=f3384afc4c52ea0fcda2b434892f8412

sha512=47a70d32fae1c833b6a4765ab1152b241e1c60078a30c27b4669bb4a7fe499228d5c5783aca4462ed553408fa16488903924bad11b050bb22a985770796f56af

doc/src/smtml/log.ml.html

Source file `log.ml`

1
2
3
4
5
6
7
(* SPDX-License-Identifier: MIT *)
(* Copyright (C) 2023-2024 formalsec *)
(* Written by the Smtml programmers *)

let src = Logs.Src.create "smtml"

include (val Logs.src_log src)

package smtml

Install

Dune Dependency

Authors

Maintainers

Sources

doc/src/smtml/log.ml.html

Source file log.ml

Source file `log.ml`