updates

index.html

@@ -293,10 +293,8 @@ <h3 id="software"><a href="https://github.com/dynaroars">Software</a></h3>
 
     <div class="myborder">
       <ul>
-        <li><a href="https://github.com/dynaroars/neuralsat">NeuralSAT</a>: A high-performance verification tool for deep neural networks (DNNs).</li>
-        <li><a href="https://github.com/dynaroars/dig">DIG</a>: An invariant generation tool focusing on numerical
-          properties (supports equality, interval, box, octagonal, polyhedral, and congruence domains; also nested
-          relations among arrays)</li>
+        <li><a href="https://github.com/dynaroars/neuralsat">NeuralSAT</a>: A high-performance <b>deep neural network (DNN) verification</b> tool.</li>
+        <li><a href="https://github.com/dynaroars/dig">DIG</a>: A <b>numerical invariant generation tool</b>, focusing on nonlinear polynomials</li>
         <li><a href="https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/tree/main/c/nla-digbench">NLA-Digbench</a>: this
           SV-COMP benchmark contains various program with nonlinear invariants and properties.</li>
         <li>Solving NP-Complete problems