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
  ☆40Updated this week
• domain-independent-dp / didp-rs
  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.
  ☆32Updated 8 months ago
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆12Updated last week
• IOHprofiler / IOHexperimenter
  Experimentation procedure for Iterative Optimization Heuristics
  ☆58Updated last week
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆76Updated last year
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆27Updated this week
• chuffed / chuffed
  The Chuffed CP solver
  ☆100Updated 2 months ago
• automl / GenericWrapper4AC
  ☆11Updated 3 years ago
• airbus / discrete-optimization
  Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.
  ☆44Updated last week
• shaowei-cai-group / Local-MIP
  A standalone local search solver for general mixed integer programming
  ☆19Updated 2 months ago
• moshesipper / tiny_gp
  Tiny Genetic Programming in Python.
  ☆99Updated last year
• heal-research / operon
  C++ Large Scale Genetic Programming
  ☆157Updated this week
• CWI-EvolutionaryIntelligence / GOMEA
  Library for optimization with the model-based evolutionary algorithm GOMEA (Gene-pool Optimal Mixing Evolutionary Algorithm)
  ☆23Updated 2 months ago
• barakeel / oeis-synthesis
  ☆22Updated this week
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 5 months ago
• darioizzo / dcgp
  Implementation of a differentiable CGP (Cartesian Genetic Programming)
  ☆110Updated 2 years ago
• facebookresearch / LA-MCTS
  High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm
  ☆26Updated 2 years ago
• EMI-Group / evox
  Distributed GPU-Accelerated Framework for Evolutionary Computation. Comprehensive Library of Evolutionary Algorithms & Benchmark Problems…
  ☆254Updated this week
• Simewu / top-SAT-solvers-2021
  The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
  ☆21Updated 3 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 7 months ago
• master-keying / pblib
  A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
  ☆18Updated 7 months ago
• audemard / glucose
  The glucose SAT solver
  ☆92Updated 3 months ago
• thtran97 / Local-Search-for-SAT
  Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
  ☆13Updated 4 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• laser-ufpb / CVRPController
  CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.
  ☆22Updated 3 years ago
• ChezJrk / verified-scheduling
  ☆35Updated 10 months ago
• scipopt / papilo
  Parallel Presolve for Integer and Linear Optimization
  ☆70Updated this week
• ac-tuwien / pymhlib
  pymhlib - A Toolbox for Metaheuristics and Hybrid Optimization Methods
  ☆28Updated last year