RomanKalkreuth / cgp-plusplusLinks
☆13Updated 2 years ago
Alternatives and similar repositories for cgp-plusplus
Users that are interested in cgp-plusplus are comparing it to the libraries listed below
Sorting:
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Updated 5 years ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Updated 2 years ago
- The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.☆22Updated 10 months ago
- STRIPS benchmarks for classical planning☆14Updated 3 years ago
- Modeling and Programming with Gecode☆50Updated 3 years ago
- C++ Large Scale Genetic Programming☆199Updated this week
- An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through d…☆61Updated last year
- ☆11Updated 4 years ago
- General meta-Heuristic Optimization Solving Toolkit☆40Updated 4 months ago
- propositional satisfiability problem (SAT) goes neural and deep☆13Updated 4 years ago
- Scalable Training of Propositional Logical Neural Networks.☆15Updated 4 years ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆50Updated 3 weeks ago
- The Chuffed CP solver☆119Updated last month
- Implementation of a differentiable CGP (Cartesian Genetic Programming)☆113Updated 3 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated 2 years ago
- Hypergraph Neural Network-Based Combinatorial Optimization☆90Updated last year
- Parallel SAT Solver☆10Updated 8 years ago
- Experimentation procedure for Iterative Optimization Heuristics☆67Updated last month
- 🗺️ ASP planning tools for PDDL☆32Updated 4 years ago
- a collection of Gymnasium environments for saturation provers☆23Updated last month
- NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops…☆98Updated 3 years ago
- ☆42Updated last week
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆77Updated this week
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆17Updated last month
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated last year
- Extensible Combinatorial Optimization Learning Environments☆361Updated last month
- Maximum independent sets and vertex covers of large sparse graphs.☆79Updated 2 weeks ago
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆27Updated 4 years ago
- Representing CP problems as graphs☆20Updated last year