qqq-wisc / wisqLinks
☆26Updated last week
Alternatives and similar repositories for wisq
Users that are interested in wisq are comparing it to the libraries listed below
Sorting:
- An awesome list of e-graph resources☆249Updated last week
- A minimal development of SSA theory☆186Updated this week
- A Small Quantum Intermediate Representation☆88Updated 2 months ago
- ☆50Updated 3 weeks ago
- CS 704 course website - Principles of Programming Languages☆69Updated 2 years ago
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆74Updated this week
- Approximate Model Counter☆80Updated 2 weeks ago
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆30Updated 8 months ago
- Generic model checker for concurrent C programs (mirror repository)☆158Updated last week
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆130Updated last week
- Program synthesis class taught by Loris D'Antoni☆36Updated 2 weeks ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆130Updated last week
- A translation validation framework for MLIR☆88Updated 7 months ago
- Definition of the Viper intermediate verification language.☆89Updated last week
- Apron Numerical Abstract Domain Library☆137Updated 7 months ago
- Structured BVA☆41Updated last year
- Concurrent decision diagram framework written in Rust☆65Updated this week
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆282Updated last week
- An LLVM IR dataset for data-driven compiler optimization research☆68Updated this week
- ☆23Updated 2 weeks ago
- The Quartz Quantum Compiler☆86Updated 3 weeks ago
- CaDiCaL SAT Solver☆486Updated this week
- ☆56Updated last month
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆22Updated last month
- An I/O-efficient implementation of (Binary) Decision Diagrams☆31Updated 2 weeks ago
- Course website for Systems Verification Fall 2024☆12Updated 3 months ago
- A community database for the problems on the erdosproblems.com site☆90Updated this week
- High-performance model counter☆46Updated last week
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆45Updated 9 months ago
- A SyGuS Solver☆30Updated 5 months ago