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
- egraphs-good website☆18Updated last year
- Challenging SAT benchmarks for matrix multiplication☆11Updated 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
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆22Updated 2 weeks ago
- program synthesis is possible☆40Updated 6 years ago
- An interface to SAT solver tools (like minisat)☆62Updated 3 years ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆24Updated this week
- Robert Munafo's reverse equation solver☆17Updated 2 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- ☆11Updated 4 years ago
- Retrospective of Python compilation efforts☆65Updated 3 years ago
- gradient-based symbolic execution engine implemented from scratch☆34Updated last year
- Partial evaluation of Python code☆22Updated 2 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- An curated list of papers on program synthesis.☆70Updated 6 years ago
- Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research☆54Updated 8 years ago
- Parser for the llvm bitcode format☆60Updated this week
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆45Updated 5 years ago
- Python term rewriting☆30Updated 12 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆53Updated 5 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- Heavyweight Python dynamic analysis framework☆17Updated last year
- Python bindings for the egglog rust library☆91Updated this week
- A research platform and active library for generalised SAT solving☆33Updated 5 months ago
- ☆35Updated 3 months ago
- llvm opt fuzzer and bounded exhaustive test generator☆46Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago