HewlettPackard / LSGILinks
Large-Scale Graph Inference
☆12Updated 11 months ago
Alternatives and similar repositories for LSGI
Users that are interested in LSGI are comparing it to the libraries listed below
Sorting:
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- An interface to SAT solver tools (like minisat)☆62Updated 3 years ago
- probabilistic programming for PL folks☆158Updated 4 years ago
- Stratified synthesis for learning machine code instruction semantics☆37Updated last month
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- sketches for egg: a flexible, high-performance e-graph library☆28Updated last month
- Formally verified implementation of Alive in Lean☆37Updated 2 years ago
- ☆90Updated 3 years ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated 2 years ago
- Python term rewriting☆30Updated 12 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆77Updated 7 years ago
- The LLVM Symbolic Simulator, part of SAW.☆22Updated 5 years ago
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆38Updated 2 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 9 years ago
- A new language for optimization☆13Updated 4 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- An LLVM interface for Lean 4. (WIP)☆24Updated 2 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- Python bindings for libNVVM☆37Updated 11 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 8 months ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- LLVM support for the lean theorem prover☆52Updated 4 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Program analysis grad seminar at SU (2019)☆57Updated 5 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- ☆16Updated 3 years ago