A minimalistic and high-performance SAT solver
☆29Feb 6, 2023Updated 3 years ago
Alternatives and similar repositories for minisat
Users that are interested in minisat are comparing it to the libraries listed below
Sorting:
- Fast Sparse Multifrontal Solver☆11May 27, 2015Updated 10 years ago
- ☆12Feb 20, 2021Updated 5 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 9 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Sep 24, 2022Updated 3 years ago
- Lingeling SAT Solver☆105Mar 12, 2024Updated last year
- ☆19Jun 25, 2025Updated 8 months ago
- Step by step manual for building KLEE☆18Jul 21, 2017Updated 8 years ago
- Simple Theorem Prover, an efficient SMT solver for bitvectors☆560Oct 23, 2025Updated 4 months ago
- An approximate solver for concolic execution☆22Apr 29, 2025Updated 10 months ago
- KLEE's version of uClibc☆56May 31, 2024Updated last year
- KLEE in the browser☆54Feb 12, 2026Updated 3 weeks ago
- DIP is a decomposition-based solver framework for mixed integer linear programs.☆20Jan 14, 2026Updated last month
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆27Nov 14, 2025Updated 3 months ago
- Map2Check: Finding Software Vulnerabilities☆30Nov 13, 2020Updated 5 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58May 28, 2017Updated 8 years ago
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆125Mar 31, 2021Updated 4 years ago
- Challenging testcases for fuzzers☆73Mar 5, 2024Updated 2 years ago
- A framework provides an interface to monitor and control fuzzers☆30Jul 5, 2023Updated 2 years ago
- Column_Generation_Algorithm using Cplex☆11Jan 18, 2019Updated 7 years ago
- Target components for kAFL/Nyx Fuzzer☆34Jul 21, 2025Updated 7 months ago
- Symbolic execution for LLVM traces produced by PANDA☆40Feb 5, 2019Updated 7 years ago
- UVM components for DSP tasks (MODulation/DEModulation)☆14Mar 2, 2022Updated 4 years ago
- Framework for studying cryptographic hash functions using SAT.☆10Dec 21, 2021Updated 4 years ago
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆10Mar 18, 2022Updated 3 years ago
- ☆14May 24, 2025Updated 9 months ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- source code for savior fuzzer☆127Oct 1, 2020Updated 5 years ago
- Public-facing course info for program analysis materials.☆43Dec 4, 2025Updated 3 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Nov 20, 2023Updated 2 years ago
- OptimPack is a library for large optimization problems.☆37Mar 21, 2025Updated 11 months ago
- AIS3 CRAX lab demo☆34Apr 26, 2017Updated 8 years ago
- Kodkod solver for relational logic☆85Jul 4, 2023Updated 2 years ago
- FairFuzz: AFL extension targeting rare branches☆253Feb 19, 2019Updated 7 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Apr 2, 2020Updated 5 years ago
- ☆10Feb 8, 2024Updated 2 years ago
- DeDOS: Declarative Dispersion-Oriented Software☆11Oct 4, 2018Updated 7 years ago
- Windows Subsytem For BSD☆17Aug 11, 2025Updated 6 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆53Jul 20, 2025Updated 7 months ago
- Example for baking the current git commit hash into a bazel C++ project☆11Jan 25, 2022Updated 4 years ago