Popular GitHub Repositories for Smt

Discover the most popular open-source projects and tools related to Smt, and stay updated with the latest development trends and innovations.

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

A toy code generator (i.e. "program synthesis") using the Z3 solver

Notebooks and Data for ICA's course on IA

[Usenix Security '25] Robustifying ML-powered Network Classifiers with PANTS

Learner-Verifier Framework for formal synthesis of Control Barrier Functions (CBF).

Comparative benchmark of SMT solver effectiveness in cryptographic hash collision discovery for SHA-2 algorithms.

PuzzleClone: An SMT-Powered Framework for Synthesizing Verified Mathematical Reasoning Data