package smt-string

  1. Overview
  2. Docs
A library of Unicode string and regular expression values following the SMT-LIB standard

Install 

dune-project
 Dependency

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

Authors

  1. H
    Hichem Rami Ait-El-Hara <hra@ocamlpro.com>

Maintainers

  1. H
    Hichem Rami Ait-El-Hara <hra@ocamlpro.com>

Sources

smt-string-0.2.tbz
sha256=1487dd32e894a3808479ed79bd139509b0a7426bd0bd54e66b3f13464175554d
sha512=82e2ccc4d3176543846bf71c626dcfb2d3708e1131527f24279d0305fb363e4d19d730f2c5c788629f52e4d4968dcb7726d8bcff2e5d4faa734914b40bfaad35

doc/index.html

smt-string

API

Library smt-string