pajju / IncPyLinks
IncPy: An auto-memoizing Python interpreter that enables incremental recomputation
☆22Updated 15 years ago
Alternatives and similar repositories for IncPy
Users that are interested in IncPy are comparing it to the libraries listed below
Sorting:
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 4 years ago
- Robert Munafo's reverse equation solver☆15Updated 2 years ago
- An interface to SAT solver tools (like minisat)☆62Updated 3 years ago
- program synthesis is possible☆40Updated 6 years ago
- Python term rewriting☆30Updated 12 years ago
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆21Updated last week
- Partial evaluation of Python code☆22Updated 2 years ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Updated 2 years ago
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆22Updated last month
- egraphs-good website☆18Updated last year
- Python bindings for the egglog rust library☆90Updated last week
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- Standalone ASDL parser for upstream CPython 3.x☆63Updated 7 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated 4 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- ☆11Updated 4 years ago
- sketches for egg: a flexible, high-performance e-graph library☆28Updated last month
- A tool for testing C compilers automatically☆21Updated 9 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 5 years ago
- GPU model checker☆11Updated 6 years ago
- A research platform and active library for generalised SAT solving☆33Updated 4 months ago
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆29Updated 3 years ago
- ☆24Updated 2 years ago