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.3.tar.gz md5=dc6d0f89b7b3c38c78c2844a54c6386b sha512=03b70558322ef654bc1a3ea3ff1c029b8aecd7ed35d98ad4b4089c00905ee6eade180d5a4f4470078217ae60830591528ff2ccdc861083c840a0c52606cb0220 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/encoding/encoding.0.0.3/opam |
No package is dependent
