116 lines
4.2 KiB
XML
116 lines
4.2 KiB
XML
<?xml version="1.0" encoding="utf-8" standalone="yes"?>
|
|
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"
|
|
xmlns:xhtml="http://www.w3.org/1999/xhtml">
|
|
<url>
|
|
<loc>https://example.org/maintenance/actively-maintained/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/tools/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/applications/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/licenses/bsd/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/interfaces/cli/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/developers/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/inputs/dimacs/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/licenses/gplv3/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/inputs/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/interfaces/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/licenses/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/developers/loria/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/maintenance/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/interfaces/python/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/interfaces/rust/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/applications/smt-solver/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/inputs/smtlib2/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/developers/sri-international/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/developers/uliege/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/tools/verit/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/inputs/yices-2/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/tools/yices/</loc>
|
|
<lastmod>2025-06-07T00:00:00+00:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/interfaces/.net/</loc>
|
|
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/interfaces/c/</loc>
|
|
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/interfaces/c++/</loc>
|
|
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/interfaces/java/</loc>
|
|
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/developers/microsoft-research/</loc>
|
|
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/licenses/mit/</loc>
|
|
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/interfaces/online/</loc>
|
|
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/applications/theorem-prover/</loc>
|
|
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/tools/z3/</loc>
|
|
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
|
|
</url><url>
|
|
<loc>https://example.org/about/</loc>
|
|
</url><url>
|
|
<loc>https://example.org/taxonomies/</loc>
|
|
</url><url>
|
|
<loc>https://example.org/contribute/</loc>
|
|
</url><url>
|
|
<loc>https://example.org/domains/</loc>
|
|
</url><url>
|
|
<loc>https://example.org/license/</loc>
|
|
</url><url>
|
|
<loc>https://example.org/privacy/</loc>
|
|
</url><url>
|
|
<loc>https://example.org/techniques/</loc>
|
|
</url>
|
|
</urlset>
|