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 (1)

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

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 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.

Dependencies (3)

  1. zarith
  2. dune >= "3.0"
  3. ocaml >= "5.2"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None