SMT — interactive widgets
Companion demos for the SMT notes.
01
SAT explorer
Explore the solution space of a simple SAT problem.
02
Decrement explorer
Explore the solution space of a simple Decrement problem.