package smtml

  1. Overview
  2. Docs
An SMT solver frontend for OCaml

Install 

dune-project
 Dependency

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

Authors

  1. J
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt>
  2. F
    Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
  3. H
    Hichem Rami Ait El Hara <hra@ocamlpro.com>
  4. R
    redianthus <redopam@pm.me>
  5. A
    Arthur Carcano <arthur.carcano@ocamlpro.com>
  6. P
    Pierre Chambart <pierre.chambart@ocamlpro.com>
  7. J
    José Fragoso Santos <jose.fragoso@tecnico.ulisboa.pt>

Maintainers

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

Sources

v0.23.0.tar.gz
md5=734c5bbea90ceb38d817df5ff53de138
sha512=eb2efdd480fe30d85ab404db700ce0a3376fbc2d202405f7d9f6545d0345b8bd4619dace00086b345be789efd981f42b17b64a2ea5c47483e254399c3fa8e320

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)