fmtools/content
1
0
Fork 0
Code Issues 31 Pull Requests Actions Packages Releases Wiki Activity

Compare commits

base: fmtools:ef3224c2807dfbd5efbe4944602d8f2e6f55bb66
Branches Tags
fmtools:main
..
compare: fmtools:388d5fb8f922702ea9cad380522f0c120aa01375
Branches Tags
fmtools:main

1 Commits
ef3224c280 ... 388d5fb8f9

Author SHA1 Message Date
Landon Taylor
388d5fb8f9 test updates 2025-06-06 18:46:27 -06:00
3 changed files with 10 additions and 0 deletions
Expand all files Collapse all files

5
taxonomies/_index.md
View File

@@ -2,3 +2,8 @@
title = 'All Taxonomy Data' title = 'All Taxonomy Data'
layout = 'taxonomies' layout = 'taxonomies'
+++ +++
This page contains all of the taxonomy data on this site. There is a lot here, it might be helpful to do a CTRL+F.
Click on an item in the first column to focus the view onto one taxonomy (e.g., to view a list of tool developers).
Click on a colorful item in the second column to view all the tools for which that term applies (e.g., to view all
the tools developed at SRI International).

4
tools/_index.md Normal file
View File

@@ -0,0 +1,4 @@
+++
title = "All Tools"
layout = "section"
+++

1
tools/z3.md
View File

@@ -10,6 +10,7 @@ systems = ['Discrete Systems', 'Concurrent Systems']
interactions = ['CLI', 'Python API', 'Rust Bindings', 'playground'] interactions = ['CLI', 'Python API', 'Rust Bindings', 'playground']
formalisms = ['first-order logic', 'SMT-LIB', 'quantifier logic', 'bit-vectors', 'arrays', 'uninterpreted functions', 'arithmetic'] formalisms = ['first-order logic', 'SMT-LIB', 'quantifier logic', 'bit-vectors', 'arrays', 'uninterpreted functions', 'arithmetic']
developers = ['Microsoft Research'] developers = ['Microsoft Research']
licenses = ['MIT']
links = [ links = [
{ title = "Homepage", url = "https://github.com/Z3Prover/z3" }, { title = "Homepage", url = "https://github.com/Z3Prover/z3" },
{ title = "Source Code", url = "https://github.com/Z3Prover/z3" }, { title = "Source Code", url = "https://github.com/Z3Prover/z3" },