RomanKalkreuth / cgp-plusplus
☆12Updated 11 months ago
Alternatives and similar repositories for cgp-plusplus:
Users that are interested in cgp-plusplus are comparing it to the libraries listed below
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆39Updated this week
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆30Updated 7 months ago
- Repository to host the GRAPE code developed by the BDS group☆10Updated 3 months ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated 4 months ago
- The Chuffed CP solver☆98Updated last month
- Implementation of a differentiable CGP (Cartesian Genetic Programming)☆110Updated 2 years ago
- Experimentation procedure for Iterative Optimization Heuristics☆50Updated last month
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆44Updated last month
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆27Updated 6 months ago
- pandoc-like tool for symbolic regression expressions☆12Updated 10 months ago
- Hypergraph Neural Network-Based Combinatorial Optimization☆83Updated 3 months ago
- PyTorch implementation of NeuroSAT☆27Updated last year
- Visual representation of the branch-and-cut tree of SCIP using spatial dissimilarities of LP solutions☆28Updated 2 years ago
- Implementation of SGE Algorithm in Python 3☆18Updated 8 months ago
- Library for optimization with the model-based evolutionary algorithm GOMEA (Gene-pool Optimal Mixing Evolutionary Algorithm)☆23Updated last month
- The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.☆21Updated 3 years ago
- The Pseudo-Boolean Solver MiniSat+☆27Updated 12 years ago
- A framework for modular construction and evaluation of metaheuristics.☆12Updated this week
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆74Updated last year
- Extensible Combinatorial Optimization Learning Environments☆332Updated last year
- An evolutionary computation framework to (automatically) build fast parallel stochastic optimization solvers☆100Updated 3 months ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆22Updated 2 years ago
- Sequential object-oriented simPlex☆62Updated this week
- ☆20Updated 3 years ago
- Access to all MiniZinc functionality directly from Python☆152Updated this week
- General meta-Heuristic Optimization Solving Toolkit☆35Updated last month
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated last year
- Parallel Presolve for Integer and Linear Optimization☆67Updated last week
- ☆31Updated 10 months ago
- Experimentation framework for Popper☆21Updated 8 months ago