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.2/smt-string-0.2.tbz sha256=1487dd32e894a3808479ed79bd139509b0a7426bd0bd54e66b3f13464175554d sha512=82e2ccc4d3176543846bf71c626dcfb2d3708e1131527f24279d0305fb363e4d19d730f2c5c788629f52e4d4968dcb7726d8bcff2e5d4faa734914b40bfaad35 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/smt-string/smt-string.0.2/opam |
No package is dependent
