kkrawiec / swim
Synthesis with Metaheuristics - Genetic Programming in Scala
☆15Updated 5 years ago
Alternatives and similar repositories for swim:
Users that are interested in swim are comparing it to the libraries listed below
- Evolutionary feature synthesis☆17Updated 9 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Counterexample-Driven Genetic Programming☆17Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 10 months ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- RockIt: A query engine for Markov logic☆11Updated 8 years ago
- ☆43Updated 7 years ago
- Experimentation framework for Popper☆22Updated last year
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 9 months ago
- Sequitur and RePair grammar induction algorithms implementation☆26Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- The source code repository for the FactorBase system☆10Updated last year
- Benchmark Suite for Interpretable Rule Learning☆12Updated 4 years ago
- linear genetic programming system for symbolic regression and classification.☆35Updated 8 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- Differentiable Forth Interpreter☆71Updated 7 years ago
- Port of Aleph to SWI-Prolog☆47Updated last year
- FlexGP: Flexible ML with Genetic Programming☆18Updated 10 years ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆45Updated 2 weeks ago
- ☆43Updated 2 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated last month
- ☆11Updated 3 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 3 months ago
- ☆15Updated 6 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Fast Genetic Programming☆11Updated 5 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆59Updated 9 months ago
- Automatic differentiation for NumPy☆42Updated 11 years ago