Skip to content

@stanford-centaur stanford-centaur

Change the repository type filter

All

    Repositories list

    4 repositories

    • smt-switch

      Public
      A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
      C++
      •
      Other
      •44•118•26•9•Updated Dec 4, 2024Dec 4, 2024

    • stanford-centaur.github.io

      Public
      TeX
      •2•1•0•2•Updated Nov 15, 2024Nov 15, 2024

    • pono

      Public
      Pono: A flexible and extensible SMT-based model checker
      C++
      •
      Other
      •30•82•21•5•Updated Oct 22, 2024Oct 22, 2024

    • Soy

      Public
      C++
      •
      Other
      •0•3•0•0•Updated Sep 7, 2023Sep 7, 2023