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.1.tar.gz md5=dc32bbd40f0bfad2c8052d45a26d13f3 sha512=7946f81a6226378b493af9db129445bbe4f51e2924ed490692e485af1f16f09444cfc635e3c04064d5f9b64e64605f121e73e3c8feafa6bb03f8bd39ed99e671 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/encoding/encoding.0.0.1/opam |
No package is dependent
