logtk
Core types and algorithms for logic
Description
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
- 05 Sep 2021
- Authors
- Maintainers
Sources
2.1.tar.gz
md5=e72de75e9f0f87da9e6e8c0a4d4c89f9
sha512=81becfc9badd686ab3692cd9312172aa4c4e3581b110e81770bb01e0ffbc1eb8495d0dd6d43b98f3d06e6b8c8a338174c13ebafb4e9849a3ddf89f9a3a72c287
Dependencies
ocaml
>= "4.07"
qcheck-alcotest
with-test & >= "0.9"
qcheck-core
with-test & >= "0.9"
alcotest
with-test
dune
>= "1.11"
menhir
build & < "20211215"
iter
>= "1.2"
mtime
>= "1.0"
containers-data
>= "3.0" & < "4.0"
containers
>= "3.0" & < "4.0"
oseq
>= "0.3" & < "0.4"
Reverse Dependencies
Conflicts