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

updates

Browse Source
This commit is contained in:
Landon Taylor
2025-06-06 17:10:00 -06:00
parent cddd4b116c
commit 15707a906e
45 changed files with 2725 additions and 178 deletions
Download Patch File Download Diff File Expand all files Collapse all files

288
tools/z3/index.html
View File

@@ -22,7 +22,7 @@
<link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
<link rel="manifest" href='https://example.org/site.webmanifest'>
<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
@@ -33,50 +33,68 @@
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
<nav>
<ul>
<li>
<a href="/">Home</a>
</li>
<li>
<a href="/tools/">Tools</a>
</li>
<li>
<a href="/taxonomies/">Taxonomies</a>
</li>
<li>
<a href="/about/">About</a>
</li>
</ul>
</nav>
</header>
<main>
<div id="page-header">
<h1>Z3 Theorem Prover</h1>
Updated <time datetime="2024-02-02T04:14:54-08:00">February 2, 2024</time>
<span class="time">Updated <time datetime="2024-02-02T04:14:54-08:00">February 2, 2024</time></span>
</div>
<section>
<h2>Links</h2>
<ul>
<li><a href="https://github.com/Z3Prover/z3" target="_blank" rel="noopener">website</a></li>
<li><a href="https://github.com/Z3Prover/z3" target="_blank" rel="noopener">code</a></li>
<li><a href="https://rise4fun.com/z3" target="_blank" rel="noopener">playground</a></li>
</ul>
<section id="quick-links">
<h2>Quick Links</h2>
<div id="link-list">
<ul>
<li><a href="https://github.com/Z3Prover/z3" target="_blank" rel="noopener">website</a></li>
<li><a href="https://github.com/Z3Prover/z3" target="_blank" rel="noopener">code</a></li>
<li><a href="https://rise4fun.com/z3" target="_blank" rel="noopener">playground</a></li>
</ul>
</div>
</section>
<section>
<section id="taxonomies">
<h2>At a Glance</h2>
<table id="taxonomies">
<thead>
<tr>
<th>Taxonomy</th>
<th>Terms</th>
</tr>
</thead>
<table id="taxonomy-table">
<tbody>
<tr>
<th>Developers</th>
<td>
<a
class="taxonomy-name"
href="/developers">
Developers
</a>
</td>
<td>
@@ -88,6 +106,7 @@
<a
class="term-link"
id="developers_test-dev"
style="background:rgba(227,126,78,0.4)"
href="/developers/test-dev">
@@ -101,7 +120,13 @@
<tr>
<th>Domains</th>
<td>
<a
class="taxonomy-name"
href="/domains">
Domains
</a>
</td>
<td>
@@ -113,6 +138,7 @@
<a
class="term-link"
id="domains_tttt"
style="background:rgba(50,191,14,0.4)"
href="/domains/tttt">
@@ -126,7 +152,13 @@
<tr>
<th>Formalisms</th>
<td>
<a
class="taxonomy-name"
href="/formalisms">
Formalisms
</a>
</td>
<td>
@@ -138,6 +170,7 @@
<a
class="term-link"
id="formalisms_tttt"
style="background:rgba(50,191,14,0.4)"
href="/formalisms/tttt">
@@ -151,7 +184,13 @@
<tr>
<th>Interactions</th>
<td>
<a
class="taxonomy-name"
href="/interactions">
Interactions
</a>
</td>
<td>
@@ -163,6 +202,92 @@
<a
class="term-link"
id="interactions_araafafanpoasi"
style="background:rgba(163,241,74,0.4)"
href="/interactions/araafafanpoasi">
araafafanpoasi
</a>
<a
class="term-link"
id="interactions_aranapoasi"
style="background:rgba(231,137,226,0.4)"
href="/interactions/aranapoasi">
aranapoasi
</a>
<a
class="term-link"
id="interactions_aranpoasadfsi"
style="background:rgba(120,152,6,0.4)"
href="/interactions/aranpoasadfsi">
aranpoasadfsi
</a>
<a
class="term-link"
id="interactions_aranpoasai"
style="background:rgba(191,101,129,0.4)"
href="/interactions/aranpoasai">
aranpoasai
</a>
<a
class="term-link"
id="interactions_aranpoasasdfasfasdfasdfi"
style="background:rgba(24,167,157,0.4)"
href="/interactions/aranpoasasdfasfasdfasdfi">
aranpoasasdfasfasdfasdfi
</a>
<a
class="term-link"
id="interactions_aranpoasi"
style="background:rgba(231,148,58,0.4)"
href="/interactions/aranpoasi">
@@ -179,6 +304,75 @@
<a
class="term-link"
id="interactions_aranpoaswei"
style="background:rgba(168,2,75,0.4)"
href="/interactions/aranpoaswei">
aranpoaswei
</a>
<a
class="term-link"
id="interactions_aranpoxasi"
style="background:rgba(177,100,115,0.4)"
href="/interactions/aranpoxasi">
aranpoxasi
</a>
<a
class="term-link"
id="interactions_aranpsoasi"
style="background:rgba(70,8,69,0.4)"
href="/interactions/aranpsoasi">
aranpsoasi
</a>
<a
class="term-link"
id="interactions_aransdpoasi"
style="background:rgba(171,171,42,0.4)"
href="/interactions/aransdpoasi">
aransdpoasi
</a>
<a
class="term-link"
id="interactions_lorem-ipsum"
style="background:rgba(128,167,81,0.4)"
href="/interactions/lorem-ipsum">
@@ -192,7 +386,13 @@
<tr>
<th>Languages</th>
<td>
<a
class="taxonomy-name"
href="/languages">
Languages
</a>
</td>
<td>
@@ -204,6 +404,7 @@
<a
class="term-link"
id="languages_tttt"
style="background:rgba(50,191,14,0.4)"
href="/languages/tttt">
@@ -217,7 +418,13 @@
<tr>
<th>Purposes</th>
<td>
<a
class="taxonomy-name"
href="/purposes">
Purposes
</a>
</td>
<td>
@@ -229,6 +436,7 @@
<a
class="term-link"
id="purposes_test"
style="background:rgba(9,143,107,0.4)"
href="/purposes/test">
@@ -242,7 +450,13 @@
<tr>
<th>Systems</th>
<td>
<a
class="taxonomy-name"
href="/systems">
Systems
</a>
</td>
<td>
@@ -254,6 +468,7 @@
<a
class="term-link"
id="systems_tttt"
style="background:rgba(50,191,14,0.4)"
href="/systems/tttt">
@@ -267,7 +482,13 @@
<tr>
<th>Techniques</th>
<td>
<a
class="taxonomy-name"
href="/techniques">
Techniques
</a>
</td>
<td>
@@ -279,6 +500,7 @@
<a
class="term-link"
id="techniques_aaa"
style="background:rgba(71,188,229,0.4)"
href="/techniques/aaa">