HewlettPackard / LSGILinks
Large-Scale Graph Inference
☆12Updated 10 months ago
Alternatives and similar repositories for LSGI
Users that are interested in LSGI are comparing it to the libraries listed below
Sorting:
- Program Round-off Error Certifier via Static Analysis☆51Updated 11 months ago
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- Stratified synthesis for learning machine code instruction semantics☆37Updated last week
- PL Reading Group Website☆14Updated 9 months ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 7 months ago
- An interface to SAT solver tools (like minisat)☆61Updated 2 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23Updated 7 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- Program analysis grad seminar at SU (2019)☆57Updated 5 years ago
- Parser for the llvm bitcode format☆59Updated last month
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- A new language for optimization☆13Updated 4 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Isabelle LLVM Code Generator and Refinement☆28Updated 2 months ago
- ☆18Updated 5 years ago
- A library for binary analysis and rewriting☆48Updated last year
- The probSAT SAT Solver☆23Updated 2 years ago
- RKQC is a compiler for reversible logic circuitry. The framework has been developed to compile high level circuit descriptions down to "Q…☆17Updated 9 years ago
- sketches for egg: a flexible, high-performance e-graph library☆28Updated 5 months ago
- Formally verified implementation of Alive in Lean☆36Updated 2 years ago
- Automatic Differentiation for Tensor Algebras☆28Updated 7 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆36Updated 2 years ago
- Verification infrastructure for the Isabelle/HOL interactive proof assistant☆40Updated this week
- Coq library for verified low-level programming☆60Updated 8 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Updated 4 years ago
- ☆19Updated 8 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
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago