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

doc/CHANGES.html

0.1

  • Initial release.
  • 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.