encodingversion
Smt encoding library
An OCaml abstraction layer for constraint solvers.
| Author | Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> |
|---|---|
| License | GPL-3.0-only |
| Published | |
| Homepage | https://github.com/formalsec/encoding |
| Issue Tracker | https://github.com/formalsec/encoding/issues |
| Maintainer | Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> |
| Available | (arch = "x86_64" | arch = "arm64") & os != "win32" & arch != "x86_32" |
| Dependencies | |
| Source [http] | https://github.com/formalsec/encoding/archive/refs/tags/v0.0.2.tar.gz md5=b7d315f0c74985afe527ca48df777371 sha512=dbb083d238cbf9a7ab0f446d0753ad37d98e7b5c324f5c34b918ce38786f35a2d84260b96f0deb72e0d74b2481b929de469e0f826525e5f10f163896db36ad49 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/encoding/encoding.0.0.2/opam |
No package is dependent
