daniel-j-h/MaxFlowSMT
Solving the Max-Flow problem using the optimizing nuZ solver included in the Z3 theorem prover.
Public GitHub Catalog
Discovered Oct 31, 2026
daniel-j-h / Catch
A modern, C++-native, header-only, framework for unit-tests, TDD and BDD
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#43743496GitHub System ID
daniel-j-hOrganization / User
PublicVisibility
ActiveCatalog Status
More from daniel-j-h
daniel-j-h/libosmium
Fast and flexible C++ library for working with OpenStreetMap data.
daniel-j-h/CppCoreGuidelines
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
daniel-j-h/cpp-travis-setup
Trying out several Travis CI setups for C++11 / C++14 projects.