I accidentally a word
authorPatrick Melanson <pj2melan@uwaterloo.ca>
Tue, 24 Feb 2015 21:31:07 +0000 (16:31 -0500)
committerPatrick Melanson <pj2melan@uwaterloo.ca>
Tue, 24 Feb 2015 21:31:07 +0000 (16:31 -0500)
events.xml

index d86861e..0db0958 100644 (file)
            title="SAT and SMT solvers">
   <short>
     <p>
-      Murphy Berzish out how to programmatically determine if a program is satisfiable,
+      Murphy Berzish explains how to programmatically determine if a program is satisfiable,
       and how to find a concrete counterexample if it is unsatisfiable. At the core
       are SAT/SMT solvers. SAT theory deals with Boolean Satisfiability solvers,
-      and SMT theory, Satisfiability Modulo a Theory, allows SMT to be extended
+      while SMT theory--Satisfiability Modulo a Theory--allows SMT to be extended
       to common data structures. Free food!
     </p>
   </short>