smt topic
z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
touist
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
storm
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
monosat
MonoSAT - An SMT solver for Monotonic Theories
nopol
Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
vim-smt2
A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
nus-timetable-optimizer
Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to their liking.