Reverse Dependencies of pySMT

The following projects have a declared dependency on pySMT:

• anrg.saga — Collection of schedulers for distributed computing
• CoSA — CoreIR Symbolic Analyzer
• cpraa — A checker for probabilistic abstract argumentation
• exo-lang — Exo: Exocompiled Array Language
• frail — Create and prove equivalence of affine indexing hardware using recurrence relations encoded in scans
• funman — Functional Model Analysis Tool
• hwtypes — Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
• incal — Learning SMT(LRA) formulas
• librecell-layout — CMOS standard cell generator.
• model2smtlib — Model to SMT-Lib converter
• pacfix — PAC-learning-based program systhesizer
• paml-check — PAML Checker
• polyhorn — PolyHorn is a solver for Polynomial Horn Clauses (PHC).
• polyqent — PolyQEnt is a solver for Polynomial Horn Clauses (PHC).
• pyNeVer — Package for the design, training, pruning and verification of neural networks.
• pyomt — An Optimization Modulo Theory Solver.
• pyvmt — Library to create and check finite and infinite state transition systems
• vega-solver — All sat style yet another theorem solver