fmtools/public
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Compare commits

base: fmtools:65f174e3148082fa38058c3b7c5a72b7903aaf32
Branches Tags
fmtools:main
..
compare: fmtools:9356dc7b44eedb6736d02689b12e286bbebb4433
Branches Tags
fmtools:main

1 Commits
65f174e314 ... 9356dc7b44

Author SHA1 Message Date
Landon Taylor
9356dc7b44 improve formatting 2025-06-06 18:09:04 -06:00
1 changed files with 4 additions and 4 deletions
Expand all files Collapse all files

8
index.html
View File

@@ -65,13 +65,13 @@ excepteur excepteur pariatur nostrud qui irure ullamco.</p>
<h2>Featured Tools</h2>
<article>
<h3><a href="/tools/z3/">Z3</a></h3>
<p><p>Z3 is a high-performance SMT solver and theorem prover developed by Microsoft Research. It is widely …</p></p>
<h3><a href="/tools/yices/">Yices 2</a></h3>
<p><p>Yices is a high-performance SMT solver and theorem prover developed by SRI International. It is widely used for checking the satisfiability of logical formulas over various theories, including arithmetic, bit-vectors, arrays, and uninterpreted …</p></p>
</article>
<article>
<h3><a href="/tools/yices/">Yices 2</a></h3>
<p><p>Yices is a high-performance SMT solver and theorem prover developed by SRI International. It is …</p></p>
<h3><a href="/tools/z3/">Z3</a></h3>
<p><p>Z3 is a high-performance SMT solver and theorem prover developed by Microsoft Research. It is widely used for checking the satisfiability of logical formulas over various theories, including arithmetic, bit-vectors, arrays, and uninterpreted …</p></p>
</article>
</section>