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
• bdsul / grape
  Repository to host the GRAPE code developed by the BDS group
  ☆10Updated 7 months ago
• richoux / GHOST
  General meta-Heuristic Optimization Solving Toolkit
  ☆35Updated 3 weeks ago
• domain-independent-dp / didp-rs
  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.
  ☆41Updated last week
• Simewu / top-SAT-solvers-2021
  The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
  ☆21Updated last month
• darioizzo / dcgp
  Implementation of a differentiable CGP (Cartesian Genetic Programming)
  ☆110Updated 2 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 9 months ago
• IOHprofiler / IOHexperimenter
  Experimentation procedure for Iterative Optimization Heuristics
  ☆58Updated 2 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
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆12Updated 3 weeks ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆43Updated last year
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆78Updated last year
• chuffed / chuffed
  The Chuffed CP solver
  ☆104Updated last week
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆28Updated last month
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 7 months ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆20Updated last year
• nunolourenco / sge3
  Implementation of SGE Algorithm in Python 3
  ☆19Updated 11 months ago
• shaowei-cai-group / Local-MIP
  A standalone local search solver for general mixed integer programming
  ☆21Updated last month
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 9 months ago
• Tractables / LogicCircuits.jl
  Logic Circuits from the Juice library
  ☆48Updated 10 months ago
• msoeken / revkit
  RevKit: Python quantum compilation library and framework
  ☆27Updated 5 years ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆22Updated 11 months ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆34Updated last year
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated 2 years ago
• barakeel / oeis-synthesis
  ☆23Updated 3 weeks ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• toulbar2 / toulbar2
  Exact optimization for cost function networks and additive graphical models
  ☆53Updated last week
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• ehebrard / Mistral-2.0
  ☆32Updated last year
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆105Updated 3 weeks ago