package smt-string

  1. Overview
  2. Docs
On This Page
  1. Modules
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/README.html

smt-string

An OCaml library of Unicode strings and regular expressions over the alphabet of the SMT-LIB Unicode strings theory, Unicode code points in the range 0x0-0x2FFFF (planes 0-2).

It provides the primitives needed to build concrete string and regex values.

Modules

  • Codepoint: Unicode code points in the range 0x0-0x2FFFF (planes 0-2).
  • Ustr: immutable strings of code points, with substring search.
  • Reglan: regular languages, with membership decided by Brzozowski derivatives and leftmost shortest match search.