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
• 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
• facebookresearch / LA-MCTS
  High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm
  ☆28Updated 2 years ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 9 months ago
• LUMII-Syslab / QuerySAT
  Official repository for paper "Goal-Aware Neural SAT Solver"
  ☆17Updated 2 years ago
• IOHprofiler / IOHexperimenter
  Experimentation procedure for Iterative Optimization Heuristics
  ☆58Updated 3 weeks ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 5 months ago
• richoux / GHOST
  General meta-Heuristic Optimization Solving Toolkit
  ☆36Updated 3 weeks ago
• Simewu / top-SAT-solvers-2021
  The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
  ☆21Updated 3 months ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆34Updated last year
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆31Updated 3 months ago
• shaowei-cai-group / Local-MIP
  A standalone local search solver for general mixed integer programming
  ☆23Updated 3 months ago
• hadarshavit / revisiting_satzilla
  SATZilla SAT feature extraction tool
  ☆10Updated 11 months ago
• darioizzo / dcgp
  Implementation of a differentiable CGP (Cartesian Genetic Programming)
  ☆111Updated 2 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 7 months ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• ericmedvet / jgea
  ☆20Updated last week
• ac-tuwien / pymhlib
  pymhlib - A Toolbox for Metaheuristics and Hybrid Optimization Methods
  ☆30Updated 2 years ago
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆22Updated last week
• automl / GenericWrapper4AC
  ☆11Updated 3 years ago
• riswords / quiche
  ☆22Updated 2 years ago
• heal-research / vstat
  SIMD-enabled descriptive statistics (mean, variance, covariance, correlation)
  ☆18Updated 2 months ago
• fmozafari / angel
  C++ Library for Quantum State Preparation (QSP)
  ☆12Updated 2 years ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• scipopt / papilo
  Parallel Presolve for Integer and Linear Optimization
  ☆73Updated last week
• laser-ufpb / CVRPController
  CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.
  ☆22Updated 3 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆28Updated 2 years ago