RomanKalkreuth / cgp-plusplus

Related projects ⓘ

Alternatives and complementary repositories for cgp-plusplus

• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆35Updated this week
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆41Updated 11 months ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆26Updated 4 months ago
• richoux / GHOST
  General meta-Heuristic Optimization Solving Toolkit
  ☆35Updated 4 months ago
• scipopt / papilo
  Parallel Presolve for Integer and Linear Optimization
  ☆64Updated this week
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆11Updated last month
• chuffed / chuffed
  The Chuffed CP solver
  ☆93Updated 2 weeks ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• riswords / quiche
  ☆22Updated last year
• IOHprofiler / IOHexperimenter
  Experimentation procedure for Iterative Optimization Heuristics
  ☆47Updated 3 months ago
• ehebrard / Mistral-2.0
  ☆31Updated 8 months ago
• domain-independent-dp / didp-rs
  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.
  ☆27Updated 5 months ago
• corail-research / SeaPearl.jl
  Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.
  ☆168Updated 7 months ago
• xgillard / ddo
  DDO a generic and efficient framework for MDD-based optimization.
  ☆58Updated 2 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 6 months ago
• darioizzo / dcgp
  Implementation of a differentiable CGP (Cartesian Genetic Programming)
  ☆108Updated 2 years ago
• shaowei-cai-group / Local-MIP
  A standalone local search solver for general mixed integer programming
  ☆13Updated 3 months ago
• lgottwald / PaPILO
  Parallel Presolve for Integer and Linear Optimization
  ☆38Updated 3 years ago
• Tractables / LogicCircuits.jl
  Logic Circuits from the Juice library
  ☆48Updated 4 months ago
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆11Updated last week
• airbus / discrete-optimization
  Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.
  ☆42Updated 2 weeks ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated last year
• heal-research / operon
  C++ Large Scale Genetic Programming
  ☆144Updated last month
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆72Updated 11 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆76Updated 4 months ago
• toulbar2 / toulbar2
  Exact optimization for cost function networks and additive graphical models
  ☆51Updated this week
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 10 months ago
• coin-or / Bcp
  Branch-Cut-Price Framework
  ☆27Updated 4 years ago
• scipopt / soplex
  Sequential object-oriented simPlex
  ☆61Updated this week