HewlettPackard / LSGILinks
Large-Scale Graph Inference
☆12Updated last year
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☆69Updated last year
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 11 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- ☆91Updated 3 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23Updated 7 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 5 years ago
- The probSAT SAT Solver☆26Updated 3 years ago
- Stratified synthesis for learning machine code instruction semantics☆40Updated 4 months ago
- ☆40Updated 6 years ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago
- A compiler for BLOG probabilistic programming language☆26Updated 8 years ago
- Program Round-off Error Certifier via Static Analysis☆56Updated 2 months ago
- Exploration of primes, factorization and number theory through haskell☆10Updated 9 years ago
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated 2 years ago
- ☆11Updated 4 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- An interface to SAT solver tools (like minisat)☆62Updated last month
- An curated list of papers on program synthesis.☆70Updated 6 years ago
- program synthesis is possible☆40Updated 6 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Updated 8 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Python term rewriting☆30Updated 12 years ago
- A simple (unfinished) SMT solver for QF_ABV.☆36Updated 6 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆28Updated 4 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Updated 2 years ago
- Python bindings for egg☆50Updated 3 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- Theorem proving in Lean☆49Updated last year
- Program analysis grad seminar at SU (2019)☆57Updated 5 years ago