package smtml

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

Install 

dune-project
 Dependency

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

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.20.0.tar.gz
md5=25a38c1470173f0214ea3c33e665998c
sha512=bc7c921dd307d5673154c47e00aa3b124621f8651f22ad86ff80cf02eb2aca201ae93a4172e9bb591d1891d5e6a5b9b5649466cf65b456464d98b8544a8b7932

doc/src/smtml.prelude/string_hash.ml.html

Source file string_hash.ml

1
2
# 1 "src/smtml_prelude/string_hash_optimized.ml"
external seeded_hash : int -> string -> int = "caml_string_hash" [@@noalloc]