Alternatives and similar repositories for LinearArbitrary-SeaHorn

Users that are interested in LinearArbitrary-SeaHorn are comparing it to the libraries listed below

• MarkusRabe / cadet

  View on GitHub
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Apr 29, 2025Updated 9 months ago
• jar-ben / mustool

  View on GitHub
  ☆14Jun 18, 2023Updated 2 years ago
• grigoryfedyukovich / aeval

  View on GitHub
  AE-solver and Skolemizer
  ☆17Dec 9, 2024Updated last year
• tip-org / benchmarks

  View on GitHub
  Tons of Inductive Problems: The Benchmarks
  ☆27Jul 5, 2023Updated 2 years ago
• mgudemann / iimc

  View on GitHub
  ☆14Jan 3, 2018Updated 8 years ago
• jia-kai / eevbnn

  View on GitHub
  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
  ☆13Jun 30, 2022Updated 3 years ago
• lijwen2748 / simplecar

  View on GitHub
  ☆15Nov 9, 2022Updated 3 years ago
• lonsing / depqbf

  View on GitHub
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆39Apr 11, 2023Updated 2 years ago
• SyGuS-Org / benchmarks

  View on GitHub
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆42Mar 30, 2023Updated 2 years ago
• formalmethods / intrepid

  View on GitHub
  Intrepyd Model Checker
  ☆18Nov 5, 2021Updated 4 years ago
• saleh1204 / sis

  View on GitHub
  Logic Synthesis System from UC Berkeley (Unofficial Distribution)
  ☆15Jun 4, 2019Updated 6 years ago
• seahorn / verify-c-common

  View on GitHub
  ☆20May 30, 2024Updated last year
• iscas-tis / CHA

  View on GitHub
  ☆19Jul 12, 2024Updated last year
• daniellustig / pipecheck

  View on GitHub
  ☆19Dec 29, 2014Updated 11 years ago
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• berkeley-abc / mvsis

  View on GitHub
  A copy of the latest version of MVSIS
  ☆12Apr 18, 2021Updated 4 years ago
• liffiton / PyMiniSolvers

  View on GitHub
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆22Jan 1, 2026Updated last month
• MachSMT / MachSMT

  View on GitHub
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆25Apr 21, 2023Updated 2 years ago
• RafaelTupynamba / quicksampler

  View on GitHub
  Efficient Sampling of SAT Solutions for Testing
  ☆35Sep 20, 2019Updated 6 years ago
• yaohsiaopid / rtl2uspec

  View on GitHub
  ☆11Jul 1, 2025Updated 7 months ago
• comsec-group / cellift-yosys

  View on GitHub
  A fork of Yosys that integrates the CellIFT pass
  ☆13Jul 23, 2025Updated 6 months ago
• eytans / easter-egg

  View on GitHub
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Mar 27, 2025Updated 10 months ago
• ispras / sydr-benchmark

  View on GitHub
  Sydr benchmark applications
  ☆17Jul 25, 2022Updated 3 years ago
• chc-comp / chc-tools

  View on GitHub
  Tools for manipulating CHC and related files
  ☆15Apr 21, 2023Updated 2 years ago
• wsong83 / Asynchronous-Verilog-Synthesiser

  View on GitHub
  Synthesiser for Asynchronous Verilog Language
  ☆20Oct 29, 2014Updated 11 years ago
• SyGuS-Org / tools

  View on GitHub
  A set of basic tools for manipulating SyGuS benchmarks
  ☆25Sep 7, 2023Updated 2 years ago
• tdb-alcorn / chisel-formal

  View on GitHub
  ☆24Feb 11, 2021Updated 5 years ago
• PL-ML / code2inv

  View on GitHub
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆103Jan 26, 2021Updated 5 years ago
• Chronosymbolic / Chronosymbolic-Learning

  View on GitHub
  Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
  ☆11Aug 4, 2024Updated last year
• eth-sri / proof-sharing

  View on GitHub
  CAV'22 paper to speed up Neural Network Verification.
  ☆13Dec 19, 2022Updated 3 years ago
• minecrafthome / kaktoos

  View on GitHub
  CUDA program to find the tallest possible cacti in Minecraft.
  ☆10Jan 1, 2024Updated 2 years ago
• efeslab / asplos22-hardware-debugging-artifact

  View on GitHub
  ☆13Jun 12, 2024Updated last year
• icra-team / icra

  View on GitHub
  ICRA: a static analyzer based on interprocedural compositional recurrence analysis
  ☆11Feb 27, 2020Updated 5 years ago
• ekiwi / open-source-formal-verification-for-chisel

  View on GitHub
  ☆10Oct 15, 2021Updated 4 years ago
• limo1996 / SAT-Solver

  View on GitHub
  Parallel SAT Solver
  ☆10Jan 19, 2018Updated 8 years ago
• ycunxi / ACEC_benchmarks

  View on GitHub
  Arithmetic multiplier benchmarks
  ☆12Nov 13, 2017Updated 8 years ago
• panhomyoung / phySAT

  View on GitHub
  Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
  ☆17Aug 2, 2023Updated 2 years ago
• seahorn / seahorn-tutorial

  View on GitHub
  Supplementary files for SSFT 2015 summer school
  ☆11Sep 5, 2019Updated 6 years ago
• model-checking / cbmc-viewer

  View on GitHub
  CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
  ☆35Feb 1, 2026Updated 2 weeks ago