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

Description

A library of Unicode string and regular expression values following the SMT-LIB standard, where characters are Unicode code points in the range 0x0-0x2FFFF (planes 0-2).

Added to opam-repository:

README

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.

Dependencies (2)

  1. dune >= "3.0"
  2. ocaml >= "4.08.1"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None