Alternatives and similar repositories for cgp-plusplus

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

• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆45Updated this week
• IOHprofiler / IOHexperimenter
  Experimentation procedure for Iterative Optimization Heuristics
  ☆57Updated last week
• thtran97 / Local-Search-for-SAT
  Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
  ☆13Updated 4 years ago
• domain-independent-dp / didp-rs
  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.
  ☆44Updated last month
• ehebrard / Mistral-2.0
  ☆32Updated last year
• shaowei-cai-group / Local-MIP
  A standalone local search solver for general mixed integer programming
  ☆22Updated 3 months ago
• darioizzo / dcgp
  Implementation of a differentiable CGP (Cartesian Genetic Programming)
  ☆111Updated 2 years ago
• heal-research / operon
  C++ Large Scale Genetic Programming
  ☆166Updated last week
• airbus / discrete-optimization
  Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.
  ☆59Updated this week
• richoux / GHOST
  General meta-Heuristic Optimization Solving Toolkit
  ☆36Updated 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
• moshesipper / tiny_gp
  Tiny Genetic Programming in Python.
  ☆102Updated 2 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• LUMII-Syslab / QuerySAT
  Official repository for paper "Goal-Aware Neural SAT Solver"
  ☆17Updated last year
• Simewu / top-SAT-solvers-2021
  The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
  ☆21Updated 2 months ago
• mahf-opt / mahf
  A framework for modular construction and evaluation of metaheuristics.
  ☆13Updated last week
• shaowei-cai-group / Local-ILP
  A standalone local search solver for general integer linear programming
  ☆16Updated 10 months ago
• nunolourenco / sge3
  Implementation of SGE Algorithm in Python 3
  ☆20Updated last year
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆27Updated last month
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆22Updated last year
• ryojitanabe / reproblems
  A set of real-world multi-objective optimization problems
  ☆51Updated 4 years ago
• ehauckdo / mcts-regressor
  Performing Symbolic Regression via Monte Carlo Tree Search (MCTS)
  ☆11Updated 6 years ago
• facebookresearch / LA-MCTS
  High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm
  ☆28Updated 2 years ago
• corail-research / learning-generic-csp
  Representing CP problems as graphs
  ☆19Updated 5 months ago
• bdsul / grape
  Repository to host the GRAPE code developed by the BDS group
  ☆11Updated 2 weeks ago
• optframe / optframe
  OptFrame - C++17 (and C++20) Optimization Framework in Single or Multi-Objective. Supports classic metaheuristics and hyperheuristics: Ge…
  ☆83Updated this week
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 7 months ago
• giorgia-nadizar / cgpax
  Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX
  ☆10Updated last month
• barakeel / oeis-synthesis
  ☆23Updated 2 weeks ago
• z11i / pysat
  Simple SAT solver with CDCL implemented in Python
  ☆16Updated 2 years ago