Skip to content
@stanford-centaur

stanford-centaur

Popular repositories Loading

  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++ 118 44

  2. pono pono Public

    Pono: A flexible and extensible SMT-based model checker

    C++ 82 30

  3. Soy Soy Public

    C++ 3

  4. stanford-centaur.github.io stanford-centaur.github.io Public

    TeX 1 2

Repositories

Showing 4 of 4 repositories
  • smt-switch Public

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

    stanford-centaur/smt-switch’s past year of commit activity
    C++ 118 44 26 9 Updated Dec 4, 2024
  • stanford-centaur.github.io Public
    stanford-centaur/stanford-centaur.github.io’s past year of commit activity
    TeX 1 2 0 2 Updated Nov 15, 2024
  • pono Public

    Pono: A flexible and extensible SMT-based model checker

    stanford-centaur/pono’s past year of commit activity
    C++ 82 30 21 5 Updated Oct 22, 2024
  • Soy Public
    stanford-centaur/Soy’s past year of commit activity
    C++ 3 0 0 0 Updated Sep 7, 2023

Top languages

C++ TeX

Most used topics

Loading…