Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "cpp-library" keyword

libtptp
Thousands of Problems for Theorem Provers (TPTP) Library
1 version - Latest release: 2 days ago - 1.37 thousand downloads total - 1 stars on GitHub - 1 maintainer
filerix 0.1.3
Rust bindings for filerix
4 versions - Latest release: about 1 year ago - 2.74 thousand downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
automated 1 cpp11 1 libtptp 1 proving 1 theorem 1 c 1 cmake 1 cpp 1 docs 1 file-management 1 filesystem 1 meson 1 nix 1 nix-flake 1 nix-support 1 nodejs 1 nodejs-support 1 rust 1 rust-support 1 typescript 1 typescript-support 1 vcpkg 1