66 skills found · Page 1 of 3
PatWie / CppNumericalSolversa lightweight header-only C++17 library of numerical optimization methods for (un-)constrained nonlinear functions and expression templates
d-krupke / Cpsat PrimerThe CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
esbmc / EsbmcThe efficient SMT-based context-bounded model checker (ESBMC)
Mugdha-Hazra / 180 Questions Striver SDE Sheet In CPPIf you are a newbie in coding and wanna do CP then first solve this DSA question then move to cp..it will surely gonna help u clear the concepts. and get better at cp.
qcappart / Hybrid Cp Rl SolverCombining Reinforcement Learning and Constraint Programming for Combinatorial Optimization
amazon-science / JuLSJuLS is a Julia Local Search solver that combines Constraint Based Local Search (CBLS) and Constraint Programming (CP)
johncantrell97 / Bip39 Solver CpuBrute force BIP-39 Mnemonic using CPU
chuffed / ChuffedThe Chuffed CP solver
Hazrat-Ali9 / CodeForces Problem Solving🦖 Codeforces solutions, strategies, 🥭 and CP resources 🚁 Optimized solutions for Div. 1, 🫐 Div. 2, Div. 3, and educational contests ✈ Advanced problem-solving 🥣 techniques and algorithmic tricks 💡 Editorial-style explanations ✈ better understanding 🚀 Roadmap competitive programming ⛵ to level up my skills 🚖
google / Kiwi SolverKiwi is a minimalist and extendable Constraint Programming (CP) solver.
jspw / Cp Toolcp-tool is an auto generator for solved problems at different online judges.
bhaxkar / Binary Blitz WorkshopThis repository provides programming and data structures and algorithms (DSA) concepts, problems and resource to help you kickstart your problem-solving & cp journey. Resources are available in C, C++, and Java.
Fossana / Cplusplus Cfr Poker SolverNo description available
ed-lam / NutmegNutmeg – a MIP and CP branch-and-check solver
Hazrat-Ali9 / Competitive Programming✈ Competitive Programming (CP) solutions, 🏘 strategies, and resources. Well 🚁optimized solutions 🎮Codeforces, LeetCode, 🛺 CodeChef, AtCoder & more ⛵ Essential algorithms 🥎 data structures 🧸 efficient problem-solving 🛬 Tips & tricks for improving 🎳 speed and accuracy in contests 📚 Handy resources 🍎 problem-solving 🌽 techniques for CP
KardinalAI / Cp SatGoogle CP-SAT solver Rust bindings
CP-Unibo / Sunny CpA CP Portfolio Solver
Priyankcoder / Cp TimeA chrome extension to keep track of time taken while solving problems on various cp/Interview preparation platforms.
d-krupke / Cpsat AutotuneWIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models
geoffchu / ChuffedThe CP solver Chuffed