cop v0.2.0

Highly efficient first-order connection proving

Published on 1695726691

Licenses

Learn more about license information.

Package Licenses

GPL-3.0-only

Dependency Licenses

Apache-2.0 OR MIT13

Package	Relation	Dependencies	Published
ahash • 0.4.8A non-cryptographic hash function using AES-NI for high performance	INDIRECT	0	1698103032
autocfg • 1.4.0Automatic cfg for Rust compiler features	INDIRECT	0	1727399128
colosseum • 0.2.2A variety of arena allocators for Rust, including thread-safe arenas.	DIRECT	0	1505762692
hashbrown • 0.9.1A Rust port of Google's SwissTable hash map	DIRECT	1	1601320542
log • 0.4.22A lightweight logging facade for Rust	DIRECT	0	1719534494
minimal-lexical • 0.2.1Fast float parsing conversion routines.	INDIRECT	0	1633344493
num-bigint • 0.4.6Big integer implementation for Rust	DIRECT	3	1719514193
num-traits • 0.2.19Numeric traits for generic mathematics	DIRECT	1	1714771659
proc-macro2 • 1.0.92A substitute implementation of the compiler's `proc_macro` API to decouple token-based libraries from the procedural macro use case.	INDIRECT	1	1732217587
quote • 1.0.37Quasi-quoting macro quote!(...)	INDIRECT	2	1724366547
serde_derive • 1.0.195Macros 1.1 implementation of #[derive(Serialize, Deserialize)]	INDIRECT	4	1704508420
serde • 1.0.195A generic serialization/deserialization framework	DIRECT	5	1704508430
syn • 2.0.90Parser for Rust source code	INDIRECT	2	1732916770

MIT3

Package	Relation	Dependencies	Published
derive_more • 0.99.18Adds #[derive(x)] macros for more traits	INDIRECT	4	1718453988
nom • 7.1.3A byte-oriented, zero-copy, parser combinators library	INDIRECT	2	1673816763
tptp • 0.31.1Parse the TPTP format	DIRECT	8	1642001582

unknown1

Package	Relation	Dependencies	Published
num-integer • 0.1.46Integer traits and functions	INDIRECT	2

MIT OR Unlicense1

Package	Relation	Dependencies	Published
memchr • 2.7.4Provides extremely fast (uses SIMD on x86_64, aarch64 and wasm32) routines for 1, 2 or 3 byte search and single substring search.	INDIRECT	0	1718324226

Unicode-3.0 AND (Apache-2.0 OR MIT)1

Package	Relation	Dependencies	Published
unicode-ident • 1.0.14Determine whether characters have the XID_Start or XID_Continue properties according to Unicode Standard Annex #31	INDIRECT	0	1732091813

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.2.0 version:

[![licenses](https://licenses.dev/b/cargo/cop/0.2.0)](https://licenses.dev/cargo/cop/0.2.0)

<a href="https://licenses.dev/cargo/cop/0.2.0">
  <img src="https://licenses.dev/b/cargo/cop/0.2.0" alt="licenses" />
</a>