licenses.dev

cop v0.1.0

Highly efficient first-order connection proving

Published on

Licenses

Learn more about license information.

Package Licenses

GPL-3.0-only

Dependency Licenses

Apache-2.0 OR MIT9
PackageRelationDependenciesPublished
ahash • 0.4.8A non-cryptographic hash function using AES-NI for high performanceINDIRECT0
autocfg • 1.5.0Automatic cfg for Rust compiler featuresINDIRECT0
colosseum • 0.2.2A variety of arena allocators for Rust, including thread-safe arenas. DIRECT0
hashbrown • 0.9.1A Rust port of Google's SwissTable hash mapDIRECT1
log • 0.4.28A lightweight logging facade for Rust DIRECT0
num-bigint • 0.3.3Big integer implementation for RustDIRECT3
num-integer • 0.1.46Integer traits and functionsINDIRECT2
num-traits • 0.2.19Numeric traits for generic mathematicsDIRECT1
version_check • 0.9.5Tiny crate to check the version of the installed/running rustc.INDIRECT0
MIT2
PackageRelationDependenciesPublished
nom • 6.2.2A byte-oriented, zero-copy, parser combinators libraryINDIRECT2
tptp • 0.28.0Parse the TPTP formatDIRECT3
MIT OR Unlicense1
PackageRelationDependenciesPublished
memchr • 2.3.4Provides extremely fast (uses SIMD on x86_64, aarch64 and wasm32) routines for 1, 2 or 3 byte search and single substring search. INDIRECT0
Last updated on

Copy the licenses badge code for the latest version:

[![licenses](https://licenses.dev/b/cargo/cop)](https://licenses.dev/cargo/cop)
<a href="https://licenses.dev/cargo/cop">
  <img src="https://licenses.dev/b/cargo/cop" alt="licenses" />
</a>

Or the licenses badge code for the 0.1.0 version:

[![licenses](https://licenses.dev/b/cargo/cop/0.1.0)](https://licenses.dev/cargo/cop/0.1.0)
<a href="https://licenses.dev/cargo/cop/0.1.0">
  <img src="https://licenses.dev/b/cargo/cop/0.1.0" alt="licenses" />
</a>
GitHub