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.4.tar.gz md5=79eace174880a378ca634f3b6d6dca2b sha512=c244e75b833cd5eae204749e6049003fb0ede5f202cd18219de8d3a771fc40475b2cc865e9b49f7694696c67389e5b5fe7d5bee415f5e6439ee7ff960ff3c9e0 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/encoding/encoding.0.0.4/opam |
No package is dependent
