#
modern-cplusplus
Here are 3 public repositories matching this topic...
This repository is a collection of my C++ projects and experiments as I continue learning and improving. It includes basic and advanced topics, written with care to follow good practices. It’s a work in progress, a space to grow, explore, and share what I’ve learned so far.
-
Updated
Oct 3, 2026 - C++
CDCL Boolean Satisfiability (SAT) Solver written in modern C++
cpp modern-cpp sat-solver cdcl-algorithm satisfiability cdcl cpp23 sat-solving sat-solvers cdcl-solver modern-cplusplus
-
Updated
Sep 9, 2026 - C++
Add this topic to your repo
To associate your repository with the modern-cplusplus topic, visit your repo's landing page and select "manage topics."