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.1.tbz
sha256=a5451461418a2183a4bedcb82cfe506d978d8ec7897c82ac445bcdcb402f3864
sha512=356e187ba2fb4ccd62c916c08a4563f4eac76e9b43b7144a4cd14c81722cb1cb5c4cf48a927bff9fdabb0c23222ddd733ae6c9d2fc652a08031a0b725d0b04da

doc/README.html

smt-string

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

It provides implementations of the theory's operations for evaluating concrete string and regex terms, e.g. when checking a model.

Modules

  • Codepoint: Unicode code points in the range 0x0-0x2FFFF (planes 0-2).
  • Ustr: SMT-LIB Unicode strings and the str.* operations.
  • Reglan: SMT-LIB regular expressions (re.* operations), with membership decided by Brzozowski derivatives.