Skip to content
@stanford-centaur

stanford-centaur

Popular repositories

  1. smt-switch smt-switch Public

    A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

    C++ 96 38

  2. pono pono Public

    Pono: A flexible and extensible SMT-based model checker

    C++ 66 31

  3. Soy Soy Public

    C++ 3

Repositories

Showing 3 of 3 repositories
  • smt-switch Public

    A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

    C++ 96 38 24 9 Updated Mar 21, 2024
  • pono Public

    Pono: A flexible and extensible SMT-based model checker

    C++ 66 31 23 4 Updated Feb 12, 2024
  • Soy Public
    C++ 3 0 0 0 Updated Sep 7, 2023

Top languages

Loading…

Most used topics

Loading…