8000 Stars
Header-only TOML config file parser and serializer for C++17.
CLI11 is a command line parser for C++11 and beyond that provides a rich feature set with a simple and intuitive interface.
Efficient and customizable CNF parser for SAT solving.
MSVC's implementation of the C++ Standard Library.
Project moved to: https://github.com/llvm/llvm-project
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
The Standard Interface for Incremental Satisfiability Solving
Management of Benchmark Instances and Instance Attributes
FFI bindings for the IPASIR incremental SAT solver interface.
Community guide to securing and improving privacy on macOS.
A pointer that allows to store state into unused bits of the address.