z3
Z3 is a theorem prover from Microsoft Research
vcpkg install z3 More in C and C++ libraries (vcpkg)
All 1,000- vcpkg-tool-gyp-next
- libxau Functions for handling Xauthority files and entries.
- cityhash CityHash, a family of hash functions for strings.
- libfontenc X font encoding library
- onnx-optimizer Actively maintained ONNX Optimizer
- workflow C++ Parallel Computing and Asynchronous Networking Engine
- span-lite A C++20-like span for C++98, C++11 and later in a single-file header-only library
- kf5parts Plugin framework for user interface component
- spdk-dpdk SPDK mirror of DPDK. A set of libraries and drivers for fast packet processing
- libirecovery Library and utility to talk to iBoot/iBSS via USB on Mac OS X, Windows, and Linux
- brpc Industrial-grade RPC framework used throughout Baidu, with 1,000,000+ instances and thousands kinds of services, called "baidu-rpc" inside…
- gz-tools2 Gazebo tools provide the ign command line tool that accepts multiple subcommands.