Skip to content
@ZJU-Automated-Reasoning-Group

ZJU-Programming-Languages-Group

Popular repositories Loading

  1. smtfuzz smtfuzz Public

    A fuzzer for SMT solvers

    Python 19 3

  2. canary canary Public

    Forked from qingkaishi/canary

    A unification-based alias analysis and related tools

    C++ 9 2

  3. arlib arlib Public

    Automated Reasoning Lib

    Python 6 1

  4. efmc efmc Public

    Software Model Checking via Exists-Forall Solving

    Slash 5

  5. pyomt pyomt Public

    A library for Optimization Modulo Theory (OMT) solving

    Python 5

  6. MeGASampler MeGASampler Public

    Forked from chaosite/MeGASampler

    SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints

    SMT 1

Repositories

Showing 10 of 13 repositories
  • smtfuzz Public

    A fuzzer for SMT solvers

    ZJU-Automated-Reasoning-Group/smtfuzz’s past year of commit activity
    Python 19 GPL-3.0 3 0 0 Updated Jan 19, 2025
  • pyomt Public

    A library for Optimization Modulo Theory (OMT) solving

    ZJU-Automated-Reasoning-Group/pyomt’s past year of commit activity
    Python 5 GPL-3.0 0 0 0 Updated Jan 17, 2025
  • arlib Public

    Automated Reasoning Lib

    ZJU-Automated-Reasoning-Group/arlib’s past year of commit activity
    Python 6 1 0 0 Updated Jan 14, 2025
  • efmc Public

    Software Model Checking via Exists-Forall Solving

    ZJU-Automated-Reasoning-Group/efmc’s past year of commit activity
    Slash 5 0 0 0 Updated Jan 11, 2025
  • canary Public Forked from qingkaishi/canary

    A unification-based alias analysis and related tools

    ZJU-Automated-Reasoning-Group/canary’s past year of commit activity
    C++ 9 AGPL-3.0 16 0 0 Updated Dec 3, 2024
  • z3alpha Public Forked from JohnLyu2/z3alpha

    Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.

    ZJU-Automated-Reasoning-Group/z3alpha’s past year of commit activity
    Python 1 Apache-2.0 3 0 0 Updated Oct 31, 2024
  • jkind Public Forked from loonwerks/jkind

    JKind - An infinite-state model checker for safety properties in Lustre

    ZJU-Automated-Reasoning-Group/jkind’s past year of commit activity
    Java 0 33 0 0 Updated Oct 23, 2024
  • SVF Public Forked from SVF-tools/SVF

    Static Value-Flow Analysis Framework for Source Code

    ZJU-Automated-Reasoning-Group/SVF’s past year of commit activity
    C++ 1 445 0 0 Updated Aug 27, 2024
  • libiberty Public
    ZJU-Automated-Reasoning-Group/libiberty’s past year of commit activity
    C 0 0 0 0 Updated Aug 25, 2024
  • SMT Public
    ZJU-Automated-Reasoning-Group/SMT’s past year of commit activity
    Shell 0 0 0 0 Updated Aug 25, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…