Thanks to visit codestin.com
Credit goes to github.com

Skip to content
Change the repository type filter

All

    Repositories list

    • C++ static analysis tool for dReal that uses a graph-based solver over LLVM ASTs to validate floating-point rounding mode preconditions, detect contradictions, and generate structured JSON outputs for analysis.
      LLVM
      0000Updated Sep 23, 2025Sep 23, 2025
    • C++
      1000Updated Sep 8, 2025Sep 8, 2025
    • ibex-lib

      Public
      IBEX is a C++ library for constraint processing over real numbers.
      C++
      53000Updated Aug 21, 2025Aug 21, 2025
    • group website
      TeX
      0000Updated Jun 2, 2025Jun 2, 2025
    • FUSE

      Public
      Python
      0510Updated Jan 21, 2025Jan 21, 2025
    • dreal4

      Public
      Automated Reasoning in Nonlinear Theories of Reals
      SMT
      35000Updated Jan 12, 2025Jan 12, 2025
    • CaDiCaL SAT Solver
      C++
      159000Updated Dec 11, 2024Dec 11, 2024
    • Automatic generation of real number models from analog circuits
      Python
      12000Updated Oct 3, 2024Oct 3, 2024
    • Verilog
      0100Updated Nov 19, 2023Nov 19, 2023
    • SystemVerilog
      0200Updated Oct 3, 2023Oct 3, 2023
    • Python
      0000Updated Jul 28, 2023Jul 28, 2023
    • Library of templates for analog blocks and strategies to model them in a digital environment. Modified for novel computing systems lab analog-verification.
      Python
      4000Updated Jul 19, 2023Jul 19, 2023
    • Python
      0000Updated Jul 18, 2023Jul 18, 2023