8000 vsc-tools repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@vsc-tools vsc-tools

Change the repository type filter

All

    Repositories list

    12 repositories

    • vsc-solvers

      Public
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated May 8, 2025May 8, 2025

    • vsc-dm

      Public
      C++ library for Verification Stimulus and Coverage
      C++
      •
      Apache License 2.0
      •1•9•0•0•Updated Apr 26, 2025Apr 26, 2025

    • pyvsc-dataclasses

      Public
      Dataclasses-centric front-end for capturing verification stimulus and coverage
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Jan 14, 2025Jan 14, 2025

    • vsc-tr

      Public
      API for working with time-based transactional data
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 18, 2024Nov 18, 2024

    • boolector

      Public
      A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
      SMT
      •
      Other
      •67•0 D6D7 0•0•Updated Mar 29, 2024Mar 29, 2024

    • cadical

      Public
      CaDiCaL SAT Solver
      C++
      •
      MIT License
      •150•0•0•0•Updated Mar 29, 2024Mar 29, 2024

    • btor2tools

      Public
      A generic parser and tool package for the BTOR2 format.
      C
      •
      Other
      •29•0•0•0•Updated Mar 29, 2024Mar 29, 2024

    • vsc-systest

      Public
      Suite of tests with comparison
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 21, 2023Sep 21, 2023

    • vsc-ucis-api

      Public
      Provides an object-oriented implementation of the UCIS API
      Apache License 2.0
      •0•0•0•0•Updated Jan 22, 2023Jan 22, 2023

    • pyvsc2

      Public
      Next-gen Verification Stimulus and Coverage library
      Apache License 2.0
      •0•0•0•0•Updated Oct 6, 2022Oct 6, 2022

    • libscdb

      Public
      UCIS API implementation using sqlite3
      Apache License 2.0
      •0•1•0•0•Updated Jul 22, 2022Jul 22, 2022

    • bitwuzla

      Public
      Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
      SMT
      •
      Other
      •41•0•0•0•Updated Jul 17, 2022Jul 17, 2022
    0