yices2_bindings
Ocaml bindings for yices2
Description
Ocaml bindings for yices2
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 13 Jul 2020
- Authors
- Maintainers
Sources
0.1.tar.gz
md5=c5097d0fd1e22b601594313a1ed85238
sha512=89310ced285fdea4bd3111bb83f5384b7cf1bed0e739e067fec7c133f480275b9e872b9910bfbbfb44f7a5f3122e49cc1764ccacf56c75427c3471c837d322bc
Dependencies
ctypes-zarith
>= "0.2.0"
ctypes
>= "0.12.0"
containers
< "3.0"
ocamlfind
build
ocamlbuild
build
ocaml
>= "4.08"
Reverse Dependencies
Conflicts
integers
< "0.3.0"