Add MathJax to Linear Algebra examples

README.md

@@ -27,7 +27,15 @@ using (var ctx = new Z3Context())
 
 ### Problem - Linear Algebra
 
-Solve the following system with 3 variables, with linear equalities and inequalities.
+Solve the following system with 3 variables, with linear equalities and inequalities:
+
+$$
+x_1 - x_2 \ge 1
+\\
+x_1 - x_2 \le 3
+\\
+x_1 = 2x_3 + x_2
+$$
 
 ```csharp
 using (var ctx = new Z3Context())

build.ps1

@@ -71,10 +71,10 @@ param (
     [string] $BuildModulePath,
 
     [Parameter()]
-    [version] $BuildModuleVersion = "1.5.3",
+    [version] $BuildModuleVersion = "1.5.4",
 
     [Parameter()]
-    [version] $InvokeBuildModuleVersion = "5.7.1"
+    [version] $InvokeBuildModuleVersion = "5.10.3"
 )
 
 $ErrorActionPreference = $ErrorActionPreference ? $ErrorActionPreference : 'Stop'

examples/z3-problems.dib

@@ -62,6 +62,14 @@ using (var ctx = new Z3Context())
 
 Solve the following system with 3 variables, with linear equalities and inequalities.
 
+$$
+x_1 - x_2 \ge 1
+\\
+x_1 - x_2 \le 3
+\\
+x_1 = 2x_3 + x_2
+$$
+
 #!csharp
 
 using (var ctx = new Z3Context())