C++ Solver

Open-source C++ projects categorized as Solver

Top 8 C++ Solver Projects

  • TexasSolver

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

  • InfluxDB

    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.

    InfluxDB logo
  • vroom

    Vehicle Routing Open-source Optimization Machine

    Project mention: Vehicle Routing Open-Source Optimization Machine | news.ycombinator.com | 2024-05-06
  • cuckoo

    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

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

  • libdnf

    Package management library.

  • Ceres.js

    Ceres.js is a javascript port of the Ceres solver. Ceres Solver is an open source C++ library for modeling and solving large, complicated optimization problems. It can be used to solve Non-linear Least Squares problems with bounds constraints and general unconstrained optimization problems. It is a mature, feature rich, and performant library.

  • QuAPI

    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
  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  • Dynex-Neuromorphic-Chip

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

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).

C++ Solver discussion

Log in or Post with

C++ Solver related posts

  • Vehicle Routing Open-Source Optimization Machine

    1 project | news.ycombinator.com | 6 May 2024
  • Crypto: My Part in Its Downfall

    1 project | news.ycombinator.com | 1 May 2023
  • Regarding bupticybee's TexasSolver on github, are there any additional resources that could assist with maneuvering/understanding the application?

    2 projects | /r/poker | 24 Feb 2023
  • Any free GTO Solvers?

    2 projects | /r/poker | 15 Feb 2023
  • Poker solver for Mac?

    1 project | /r/poker | 20 Jan 2023
  • Poker (NLH) model?

    1 project | /r/reinforcementlearning | 16 Jan 2023
  • Poker solvers for dummies: part 3 - the best solvers for beginners!

    1 project | /r/poker | 27 Oct 2022
  • A note from our sponsor - SaaSHub
    www.saashub.com | 22 Jul 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

What are some of the best open-source Solver projects in C++? This list will help you:

Project Stars
1 TexasSolver 1,655
2 vroom 1,270
3 cuckoo 818
4 hyStrath 219
5 libdnf 182
6 Ceres.js 20
7 QuAPI 4
8 Dynex-Neuromorphic-Chip 0

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.
www.influxdata.com

Did you konow that C++ is
the 6th most popular programming language
based on number of metions?