smt-stringversion Documentation on ocaml.org
A library of Unicode string and regular expression values following the SMT-LIB standard
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).
| Author | Hichem Rami Ait El Hara <hra@ocamlpro.com> |
|---|---|
| License | LGPL-2.1-only WITH OCaml-LGPL-linking-exception |
| Published | |
| Homepage | https://github.com/ocamlpro/smt-string |
| Issue Tracker | https://github.com/ocamlpro/smt-string/issues |
| Maintainer | Hichem Rami Ait El Hara <hra@ocamlpro.com> |
| Dependencies | |
| Source [http] | https://github.com/OCamlPro/smt-string/releases/download/0.1/smt-string-0.1.tbz sha256=a5451461418a2183a4bedcb82cfe506d978d8ec7897c82ac445bcdcb402f3864 sha512=356e187ba2fb4ccd62c916c08a4563f4eac76e9b43b7144a4cd14c81722cb1cb5c4cf48a927bff9fdabb0c23222ddd733ae6c9d2fc652a08031a0b725d0b04da |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/smt-string/smt-string.0.1/opam |
No package is dependent
