Alternatives and similar repositories for cgp-plusplus

Users that are interested in cgp-plusplus are comparing it to the libraries listed below

• thtran97 / Local-Search-for-SAT
  Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
  ☆13Updated 4 years ago
• richoux / GHOST
  General meta-Heuristic Optimization Solving Toolkit
  ☆36Updated this week
• speckdavid / rl-plan
  Learning Heuristic Selection with Dynamic Algorithm Configuration (AI Planning)
  ☆8Updated 9 months ago
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆46Updated last week
• SparseLinearAlgebra / cuBool
  Sparse linear Boolean algebra for Nvidia Cuda
  ☆24Updated 3 weeks ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆51Updated 2 years ago
• scipopt / papilo
  Parallel Presolve for Integer and Linear Optimization
  ☆73Updated 3 weeks ago
• ehauckdo / mcts-regressor
  Performing Symbolic Regression via Monte Carlo Tree Search (MCTS)
  ☆12Updated 6 years ago
• ehebrard / Mistral-2.0
  ☆32Updated last year
• LPMP / BDD
  An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through d…
  ☆59Updated last year
• LUMII-Syslab / QuerySAT
  Official repository for paper "Goal-Aware Neural SAT Solver"
  ☆17Updated 2 years ago
• scipopt / soplex
  Sequential object-oriented simPlex
  ☆68Updated last month
• KarlsruheMIS / KaMIS
  Maximum independent sets and vertex covers of large sparse graphs.
  ☆78Updated last week
• shaowei-cai-group / Local-MIP
  A standalone local search solver for general mixed integer programming
  ☆24Updated 4 months ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• Simewu / top-SAT-solvers-2021
  The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
  ☆21Updated 4 months ago
• nasheydari / HypOp
  Hypergraph Neural Network-Based Combinatorial Optimization
  ☆90Updated 9 months ago
• riswords / quiche
  ☆22Updated 2 years ago
• GraphBLAS / rgri
  Reference implementation of the draft C++ GraphBLAS specification.
  ☆33Updated 4 months ago
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆22Updated last month
• domain-independent-dp / didp-rs
  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.
  ☆45Updated last month
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆13Updated this week
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 9 months ago
• airbus / discrete-optimization
  Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.
  ☆61Updated this week
• laser-ufpb / CVRPController
  CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.
  ☆22Updated 3 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆105Updated 3 months ago
• corail-research / learning-generic-csp
  Representing CP problems as graphs
  ☆19Updated 6 months ago
• IOHprofiler / IOHexperimenter
  Experimentation procedure for Iterative Optimization Heuristics
  ☆59Updated last month
• GioniMexi / FeasPumpCollection
  Feasibility Pump Collection
  ☆12Updated 2 years ago
• thtran97 / CDCL-based-SAT-Solver
  Implementation of basic CDCL-based SAT solver in Python
  ☆10Updated 4 years ago