Top 7 C++ Solver Projects

TexasSolver

44 1,543 4.3 C++

🚀 A very efficient Texas Holdem GTO solver :spades::hearts::clubs::diamonds:

Project mention: The Law of Large Numbers, or Why It Is a Bad Idea to Go to the Casino | news.ycombinator.com | 2023-05-14

I use GTO+ which is proprietary.
I just tried this one which works like a charm (just run the exe from the zip in github releases ; even comes pre-loaded with a wide amount of preflop ranges, which seem to come from a previous solve) : https://github.com/bupticybee/TexasSolver
Searching with "poker solver haskell" only seem to show very immature projects.
vroom

2 1,213 9.4 C++

Vehicle Routing Open-source Optimization Machine
InfluxDB

www.influxdata.com
sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
cuckoo

8 813 4.3 C++

a memory-bound graph-theoretic proof-of-work system (by tromp)

Project mention: mCaptcha: Open-source proof-of-work captcha for websites | news.ycombinator.com | 2023-08-08

Asymmetric PoW algorithms, such as Cuckoo Cycle [1] or the poorly named Equihash [2] (which is not a hash function) do not lend themselves to password hashing, since a given instance can have 0 or 1 or many solutions.
[1] https://github.com/tromp/cuckoo
[2] https://en.wikipedia.org/wiki/Equihash
hyStrath

3 209 0.0 C++

Hypersonic / Rarefied gas dynamics code developments (GPL-3.0)
libdnf

3 177 7.7 C++

Package management library.
QuAPI

1 4 10.0 C++

Library and tool to add assumption-support to generic SAT or QBF solver binaries using automated fork()ing and LD_PRELOAD (by maximaximal)

Project mention: Using LD_PRELOAD to cheat, inject features and investigate programs | news.ycombinator.com | 2023-09-08
Dynex-Neuromorphic-Chip

1 0 6.7 C++

Digital Memcomputing Machine (DMM) based SAT-Solver (by sumitomo72)

Project mention: Dynex Digital Memcomputing Machine (DMM) Based SAT-Solver | news.ycombinator.com | 2023-05-25
WorkOS

workos.com
sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-09-08.