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/index.html

smt-string

API

Library smt-string