zipperposition 2.1-unstable-2024-02-08 single
Superposition prover for full first order logic
- Name
ocaml5.5.0-zipperposition-2.1-unstable-2024-02-08- Package set
- top-level
- Homepage
- https://github.com/sneeuwballen/zipperposition
- License
- BSD-2-Clause
- Main program
zipperposition- Source
- pkgs/by-name/zi/zipperposition/package.nix:48
- Derivation
/nix/store/4ksr9msn3zkfrfx3bbycn9mkxgbfdr9l-ocaml5.5.0-zipperposition-2.1-unstable-2024-02-08.drv
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| DieracDelta | Justin Restivo | GitHub · justin@restivo.me | listed on package |
Dependencies 16
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.containers 3.16 | propagatedBuildInputs | 27 | unmaintained | |
| ocamlPackages.containers-data 3.16 | propagatedBuildInputs | 2 | unmaintained | |
| ocamlPackages.iter 1.9 | propagatedBuildInputs | 30 | unmaintained | |
| ocamlPackages.msat 0.9.1 | propagatedBuildInputs | 2 | single | |
| ocamlPackages.mtime 2.2.0 | propagatedBuildInputs | 110 | single | |
| ocamlPackages.oseq 0.5.1 | propagatedBuildInputs | 2 | single | |
| ocamlPackages.zarith 1.14 | propagatedBuildInputs | 153 | maintained | |
| ocamlPackages.alcotest 1.9.1 | buildInputs | 813 | single | |
| ocamlPackages.qcheck-alcotest 0.91 | buildInputs | 109 | single | |
| ocamlPackages.qcheck-core 0.91 | buildInputs | 397 | single | |
| dune 3.23.1 | nativeBuildInputs | 1,402 | single | |
| ocaml 5.5.0 | nativeBuildInputs | 1,487 | single | |
| ocamlPackages.findlib 1.9.8 | nativeBuildInputs | 1,473 | unmaintained | |
| ocamlPackages.menhir 20260203 | nativeBuildInputs | 938 | single | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.