RomanKalkreuth / cgp-plusplus
☆12Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for cgp-plusplus
- Implementation of a differentiable CGP (Cartesian Genetic Programming)☆108Updated 2 years ago
- Experimentation procedure for Iterative Optimization Heuristics☆47Updated this week
- ☆11Updated 3 years ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated 2 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆71Updated 5 months ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆36Updated this week
- ☆22Updated last year
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆26Updated 5 months ago
- Sequential object-oriented simPlex☆61Updated last week
- Repository to host the GRAPE code developed by the BDS group☆10Updated 2 months ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- General meta-Heuristic Optimization Solving Toolkit☆35Updated 5 months ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆86Updated 2 months ago
- ☆15Updated 2 years ago
- Management of Benchmark Instances and Instance Attributes☆17Updated last month
- Symbolic Geometric Algebra with E-Graphs☆18Updated last year
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆42Updated last month
- Exact optimization for cost function networks and additive graphical models☆51Updated 2 weeks ago
- The Standard Interface for Incremental Satisfiability Solving☆48Updated 2 years ago
- The Chuffed CP solver☆92Updated last week
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆73Updated last year
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated last year
- Simple SAT solver with CDCL implemented in Python☆15Updated last year
- The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.☆20Updated 3 years ago
- Iterated Racing for Automatic Algorithm Configuration☆60Updated this week
- C++ Large Scale Genetic Programming☆144Updated this week
- Implementation of SGE Algorithm in Python 3☆17Updated 6 months ago
- benchmarking e-graph extraction☆36Updated 2 weeks ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆25Updated 4 months ago
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago