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
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆49Updated this week
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• LUMII-Syslab / QuerySAT
  Official repository for paper "Goal-Aware Neural SAT Solver"
  ☆17Updated 2 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 2 years ago
• richoux / GHOST
  General meta-Heuristic Optimization Solving Toolkit
  ☆37Updated last month
• heal-research / operon
  C++ Large Scale Genetic Programming
  ☆173Updated 3 weeks ago
• darioizzo / dcgp
  Implementation of a differentiable CGP (Cartesian Genetic Programming)
  ☆112Updated 2 years ago
• Simewu / top-SAT-solvers-2021
  The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
  ☆21Updated 5 months ago
• LPMP / BDD
  An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through d…
  ☆60Updated last year
• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆10Updated 7 years ago
• maximaximal / Paracooba
  Distributed and ressource elastic cube-and-conquer SAT & QBF solver
  ☆20Updated 2 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 11 months ago
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆22Updated 2 months ago
• riswords / quiche
  ☆23Updated 2 years ago
• shi27feng / transformers.satisfy
  propositional satisfiability problem (SAT) goes neural and deep
  ☆13Updated 4 years ago
• nasheydari / HypOp
  Hypergraph Neural Network-Based Combinatorial Optimization
  ☆89Updated 10 months ago
• facebookresearch / LA-MCTS
  High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm
  ☆28Updated 2 years ago
• ehebrard / Mistral-2.0
  ☆32Updated last year
• SparseLinearAlgebra / cuBool
  Sparse linear Boolean algebra for Nvidia Cuda
  ☆24Updated 2 months ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• probsys / optimal-approximate-sampling
  Optimal approximate sampling from discrete probability distributions
  ☆18Updated 4 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year
• nojhan / paradiseo
  An evolutionary computation framework to (automatically) build fast parallel stochastic optimization solvers
  ☆110Updated 4 months ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆108Updated 2 weeks ago
• scipopt / soplex
  Sequential object-oriented simPlex
  ☆70Updated this week
• shaowei-cai-group / ParKissat-RS
  Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)
  ☆24Updated 2 years ago
• IOHprofiler / IOHexperimenter
  Experimentation procedure for Iterative Optimization Heuristics
  ☆60Updated last week