- Windows (4)
- Linux (3)
- Mac (3)
- Modern (3)
- Grouping and Descriptive Categories (2)
- Android (1)
- BSD (1)
- Emulation and API Compatibility (1)
A portable C++ library for unit testing6 weekly downloads
AvatarSAT is a SAT solver that uses machine-learning classifiers to automatically tune the heuristics of an off-the-shelf SAT solver on a per-instance basis.
A minimalistic test framework written in C++.
An application dedicated to the accurate measurement of execution time.