RomanKalkreuth / cgp-plusplusLinks
☆13Updated last year
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 4 years ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆49Updated this week
- ☆11Updated 3 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated 10 months ago
- The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.☆21Updated 6 months ago
- Parallel SAT Solver☆10Updated 7 years ago
- C++ Large Scale Genetic Programming☆176Updated last week
- General meta-Heuristic Optimization Solving Toolkit☆37Updated 2 months ago
- a collection of Gymnasium environments for saturation provers☆22Updated last week
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Updated 2 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- Implementation of a differentiable CGP (Cartesian Genetic Programming)☆112Updated 2 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆15Updated 3 years ago
- propositional satisfiability problem (SAT) goes neural and deep☆13Updated 4 years ago
- Reference implementation of the draft C++ GraphBLAS specification.☆32Updated 7 months ago
- ☆24Updated 2 years ago
- STRIPS benchmarks for classical planning☆13Updated 3 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 3 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through d…☆61Updated last year
- ☆41Updated last year
- Modeling and Programming with Gecode☆50Updated 2 years ago
- An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations☆26Updated last month
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆29Updated 3 years ago
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆17Updated last year
- Hypergraph Neural Network-Based Combinatorial Optimization☆90Updated 11 months ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Updated this week
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated last year