Source: wikibot/satisfiability-modulo-theories

= Satisfiability modulo theories
{wiki=Satisfiability_modulo_theories}