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

fix icon

Browse Source
This commit is contained in:
Landon Taylor
2025-08-21 16:15:06 -06:00
parent 97a87a1679
commit 0cb4f7ed82
83 changed files with 83 additions and 83 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/mc/blast.md
View File

@@ -5,7 +5,7 @@ title = 'BLAST'
subtitle = 'Model Checker'
links = [
{ title = "Homepage", url = "https://forge.ispras.ru/projects/blast", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://forge.ispras.ru/projects/blast/repository", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://forge.ispras.ru/projects/blast/repository", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/cadp.md
View File

@@ -5,7 +5,7 @@ title = 'CADP'
subtitle = 'Model Checker'
links = [
{ title = "Homepage", url = "https://cadp.inria.fr/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://forge.ispras.ru/projects/blast/repository", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://forge.ispras.ru/projects/blast/repository", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/cgaal.md
View File

@@ -5,7 +5,7 @@ title = 'CGAAL'
subtitle = 'Model Checker'
links = [
# { title = "Homepage", url = "http://ltsmin.utwente.nl/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/d702e20/CGAAL", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/d702e20/CGAAL", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/concuerror.md
View File

@@ -5,7 +5,7 @@ title = 'Concuerror'
subtitle = 'Model Checker'
links = [
{ title = "Homepage", url = "http://parapluu.github.io/Concuerror", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/parapluu/Concuerror", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/parapluu/Concuerror", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/cpachecker.md
View File

@@ -5,7 +5,7 @@ title = 'CPAchecker'
subtitle = 'Model Checker'
links = [
{ title = "Homepage", url = "https://cpachecker.sosy-lab.org/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://gitlab.com/sosy-lab/software/cpachecker/", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://gitlab.com/sosy-lab/software/cpachecker/", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/dscheck.md
View File

@@ -5,7 +5,7 @@ title = 'DSCheck'
subtitle = 'Model Checker'
links = [
# { title = "Homepage", url = "http://ltsmin.utwente.nl/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/ocaml-multicore/dscheck", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/ocaml-multicore/dscheck", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/eldarica.md
View File

@@ -5,7 +5,7 @@ title = 'Eldarica'
subtitle = 'Model Checker'
links = [
# { title = "Homepage", url = "https://mcrl2.org", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/uuverifiers/eldarica", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/uuverifiers/eldarica", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/esbmc.md
View File

@@ -5,7 +5,7 @@ title = 'ESBMC'
subtitle = 'Model Checker'
links = [
{ title = "Homepage", url = "https://ssvlab.github.io/esbmc/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/esbmc/esbmc", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/esbmc/esbmc", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/geyser.md
View File

@@ -5,7 +5,7 @@ title = 'Geyser'
subtitle = 'Model Checker'
links = [
# { title = "Homepage", url = "https://mcrl2.org", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/JakubSarnik/geyser", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/JakubSarnik/geyser", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/imitator.md
View File

@@ -5,7 +5,7 @@ title = 'IMITATOR'
subtitle = 'Parameter Synthesis'
links = [
{ title = "Homepage", url = "https://www.imitator.fr/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/imitator-model-checker/imitator", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/imitator-model-checker/imitator", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Parameter Synthesizer']

2
tools/mc/imspin.md
View File

@@ -5,7 +5,7 @@ title = 'ImSpin'
subtitle = 'Model Checker'
links = [
# { title = "Homepage", url = "https://mcrl2.org", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/MrDiver/ImSpin", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/MrDiver/ImSpin", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/intrepyd.md
View File

@@ -5,7 +5,7 @@ title = 'Intrepyd'
subtitle = 'Model Checker'
links = [
# { title = "Homepage", url = "https://www.imitator.fr/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/formalmethods/intrepid", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/formalmethods/intrepid", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/ivy.md
View File

@@ -5,7 +5,7 @@ title = 'IVy'
subtitle = 'Protocol Verifier'
links = [
{ title = "Homepage", url = "https://kenmcmil.github.io/ivy/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/kenmcmil/ivy", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/kenmcmil/ivy", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Protocol Verifier']

2
tools/mc/kind2.md
View File

@@ -5,7 +5,7 @@ title = 'Kind 2'
subtitle = 'Model Checker'
links = [
{ title = "Homepage", url = "https://kind2-mc.github.io/kind2/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/kind2-mc/kind2", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/kind2-mc/kind2", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/ltsa.md
View File

@@ -5,7 +5,7 @@ title = 'LTSA'
subtitle = 'Labelled Transition System Analyser'
links = [
{ title = "Homepage", url = "https://www.doc.ic.ac.uk/ltsa/", icon = 'fa-solid fa-home' },
# { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-brands fa-github' },
# { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/ltsmin.md
View File

@@ -5,7 +5,7 @@ title = 'LTSmin'
subtitle = 'Model Checker'
links = [
{ title = "Homepage", url = "http://ltsmin.utwente.nl/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/utwente-fmt/ltsmin", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/utwente-fmt/ltsmin", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/mcltlrs.md
View File

@@ -5,7 +5,7 @@ title = 'mcltl-rs'
subtitle = 'Model Checker'
links = [
# { title = "Homepage", url = "https://nuxmv.fbk.eu/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/NotBad4U/mcltl-rs", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/NotBad4U/mcltl-rs", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/mcrl2.md
View File

@@ -5,7 +5,7 @@ title = 'mCRL2'
subtitle = 'Model Checker'
links = [
{ title = "Homepage", url = "https://mcrl2.org", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/mCRL2org/mCRL2", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/mCRL2org/mCRL2", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/mercury.md
View File

@@ -5,7 +5,7 @@ title = 'Mercury'
subtitle = 'Model Checker'
links = [
# { title = "Homepage", url = "https://mcrl2.org", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/rtsaad/mercury", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/rtsaad/mercury", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/munta.md
View File

@@ -5,7 +5,7 @@ title = 'MUNTA'
subtitle = 'Model Checker'
links = [
# { title = "Homepage", url = "https://www.imitator.fr/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/wimmers/munta", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/wimmers/munta", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/nusmv.md
View File

@@ -5,7 +5,7 @@ title = 'NuSMV'
subtitle = 'Symbolic Model Checker'
links = [
{ title = "Homepage", url = "https://nusmv.fbk.eu/index.html", icon = 'fa-solid fa-home' },
# { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-brands fa-github' },
# { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/nuxmv.md
View File

@@ -5,7 +5,7 @@ title = 'NuXMV'
subtitle = 'Symbolic Model Checker'
links = [
{ title = "Homepage", url = "https://nuxmv.fbk.eu/", icon = 'fa-solid fa-home' },
# { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-brands fa-github' },
# { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/pnmc.md
View File

@@ -5,7 +5,7 @@ title = 'Pnmc'
subtitle = 'Model Checker'
links = [
# { title = "Homepage", url = "http://ltsmin.utwente.nl/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/pypl.md
View File

@@ -5,7 +5,7 @@ title = 'pyPL'
subtitle = 'Model Checker'
links = [
# { title = "Homepage", url = "https://www.imitator.fr/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/nclarius/pyPL", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/nclarius/pyPL", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker', 'Model Generator', 'Theorem Prover']

2
tools/mc/romeo.md
View File

@@ -5,7 +5,7 @@ title = 'Roméo'
subtitle = 'Model Checker'
links = [
{ title = "Homepage", url = "https://romeo.ls2n.fr/", icon = 'fa-solid fa-home' },
# { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-brands fa-github' },
# { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/rumur.md
View File

@@ -5,7 +5,7 @@ title = 'Rumur'
subtitle = 'Model Checker'
links = [
# { title = "Homepage", url = "https://www.imitator.fr/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/Smattr/rumur", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/Smattr/rumur", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/sally.md
View File

@@ -5,7 +5,7 @@ title = 'Sally'
subtitle = 'Model Checker'
links = [
{ title = "Homepage", url = "http://sri-csl.github.io/sally/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/SRI-CSL/sally", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/SRI-CSL/sally", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/smpt.md
View File

@@ -5,7 +5,7 @@ title = 'SM(P/)T'
subtitle = 'Satisfiability Modulo Petri Net'
links = [
# { title = "Homepage", url = "https://www.imitator.fr/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/nicolasAmat/SMPT", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/nicolasAmat/SMPT", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/spaceex.md
View File

@@ -5,7 +5,7 @@ title = 'SpaceEx'
subtitle = 'Hybrid Systems'
links = [
{ title = "Homepage", url = "http://spaceex.imag.fr/", icon = 'fa-solid fa-home' },
# { title = "Source Code", url = "https://forge.ispras.ru/projects/blast/repository", icon = 'fa-brands fa-github' },
# { title = "Source Code", url = "https://forge.ispras.ru/projects/blast/repository", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Hybrid Systems']

2
tools/mc/spin.md
View File

@@ -5,7 +5,7 @@ title = 'Spin'
subtitle = 'Model Checker'
links = [
{ title = "Homepage", url = "https://spinroot.com/spin/whatispin.html", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/nimble-code/Spin", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/nimble-code/Spin", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/stateright.md
View File

@@ -5,7 +5,7 @@ title = 'stateright'
subtitle = 'Model Checker'
links = [
{ title = "Homepage", url = "https://docs.rs/stateright/latest/stateright/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/stateright/stateright", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/stateright/stateright", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/tapaal.md
View File

@@ -5,7 +5,7 @@ title = 'TAPAAL'
subtitle = 'Model Checker'
links = [
{ title = "Homepage", url = "https://www.tapaal.net/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/TAPAAL/", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/TAPAAL/", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/timesolver.md
View File

@@ -5,7 +5,7 @@ title = 'TimeSolver'
subtitle = 'Model Checker'
links = [
# { title = "Homepage", url = "https://nuxmv.fbk.eu/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/jkeiren/TimeSolver", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/jkeiren/TimeSolver", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mc/uppaal.md
View File

@@ -5,7 +5,7 @@ title = 'Uppaal'
subtitle = 'Model Checker'
links = [
{ title = "Homepage", url = "https://uppaal.org/", icon = 'fa-solid fa-home' },
# { title = "Source Code", url = "https://github.com/imitator-model-checker/imitator", icon = 'fa-brands fa-github' },
# { title = "Source Code", url = "https://github.com/imitator-model-checker/imitator", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker']

2
tools/mod/jani.md
View File

@@ -5,7 +5,7 @@ title = 'JANI'
subtitle = 'Quantitative Modeling Specification'
links = [
{ title = "Homepage", url = "https://momba.dev/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/koehlma/momba", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/koehlma/momba", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Modeling Language']

2
tools/mod/momba.md
View File

@@ -5,7 +5,7 @@ title = 'Momba'
subtitle = 'Quantitative Modeling Framework'
links = [
{ title = "Homepage", url = "https://momba.dev/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/koehlma/momba", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/koehlma/momba", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Modeling Framework']

2
tools/mod/tlaplus.md
View File

@@ -5,7 +5,7 @@ title = 'TLA+'
subtitle = 'Modeling Language'
links = [
{ title = "Homepage", url = "https://lamport.azurewebsites.net/tla/tla.html", icon = 'fa-solid fa-home' },
# { title = "Source Code", url = "https://github.com/TAPAAL/", icon = 'fa-brands fa-github' },
# { title = "Source Code", url = "https://github.com/TAPAAL/", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Modeling Language']

2
tools/prob/caesar.md
View File

@@ -5,7 +5,7 @@ title = 'Caesar'
subtitle = 'Probabilistic Program Prover'
links = [
{ title = "Homepage", url = "https://www.caesarverifier.org/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/moves-rwth/caesar", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/moves-rwth/caesar", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Probabilistic Program Prover']

2
tools/prob/comics.md
View File

@@ -5,7 +5,7 @@ title = 'COMICS'
subtitle = 'DTMC Counterexample Generator'
links = [
{ title = "Homepage", url = "https://ths.rwth-aachen.de/research/tools/comics/", icon = 'fa-solid fa-home' },
# { title = "Source Code", url = "https://github.com/moves-rwth/storm", icon = 'fa-brands fa-github' },
# { title = "Source Code", url = "https://github.com/moves-rwth/storm", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Counterexample Generator']

2
tools/prob/dftgui.md
View File

@@ -5,7 +5,7 @@ title = 'DFT Visualization'
subtitle = 'Visualization for Dynamic Fault Trees'
links = [
{ title = "Homepage", url = "https://moves-rwth.github.io/dft-gui/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/moves-rwth/dft-gui", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/moves-rwth/dft-gui", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Visualizer']

2
tools/prob/prinsys.md
View File

@@ -5,7 +5,7 @@ title = 'PRINSYS'
subtitle = 'PRobabilistic INvariant SYnthesiS'
links = [
{ title = "Homepage", url = "https://www-i2.informatik.rwth-aachen.de/prinsys/", icon = 'fa-solid fa-home' },
# { title = "Source Code", url = "https://github.com/moves-rwth/caesar", icon = 'fa-brands fa-github' },
# { title = "Source Code", url = "https://github.com/moves-rwth/caesar", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Probabilistic Invariant Synthesizer']

2
tools/prob/prism.md
View File

@@ -5,7 +5,7 @@ title = 'PRISM'
subtitle = 'Probabilistic Model Checker'
links = [
{ title = "Homepage", url = "https://prismmodelchecker.org/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/prismmodelchecker/prism", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/prismmodelchecker/prism", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Probabilistic Model Checker']

2
tools/prob/prophesy.md
View File

@@ -5,7 +5,7 @@ title = 'Prophesy'
subtitle = 'Parameter Synthesis'
links = [
# { title = "Homepage", url = "https://www-i2.informatik.rwth-aachen.de/prinsys/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/moves-rwth/prophesy", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/moves-rwth/prophesy", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Parameter Synthesizer']

2
tools/prob/stamina.md
View File

@@ -5,7 +5,7 @@ title = 'STAMINA'
subtitle = 'Probabilistic Model Checker'
links = [
{ title = "Homepage", url = "https://staminachecker.org/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://staminachecker.org/source.html", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://staminachecker.org/source.html", icon = 'fa-solid fa-code' },
{ title = "Playground", url = "https://staminachecker.org/run.html", icon = 'fa-solid fa-gamepad' }
]
applications = ['Probabilistic Model Checker']

2
tools/prob/storm.md
View File

@@ -5,7 +5,7 @@ title = 'Storm'
subtitle = 'Probabilistic Model Checker'
links = [
{ title = "Homepage", url = "https://www.stormchecker.org/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/moves-rwth/storm", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/moves-rwth/storm", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Probabilistic Model Checker']

2
tools/programs/aeneas.md
View File

@@ -5,7 +5,7 @@ title = 'Aeneas'
subtitle = 'Rust Verifier'
links = [
{ title = "Homepage", url = "https://aeneasverif.github.io/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/AeneasVerif/aeneas", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/AeneasVerif/aeneas", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Program Prover', 'Rust Verifier']

2
tools/programs/creusot.md
View File

@@ -5,7 +5,7 @@ title = 'Creusot'
subtitle = 'Rust Verifier'
links = [
# { title = "Homepage", url = "https://dafny.org/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/creusot-rs/creusot", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/creusot-rs/creusot", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Program Prover', 'Rust Verifier']

2
tools/programs/dafny.md
View File

@@ -5,7 +5,7 @@ title = 'Dafny'
subtitle = 'Program Proofs'
links = [
{ title = "Homepage", url = "https://dafny.org/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/dafny-lang/dafny", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/dafny-lang/dafny", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Program Prover']

2
tools/programs/kani.md
View File

@@ -5,7 +5,7 @@ title = 'Kani'
subtitle = 'Rust Verifier'
links = [
{ title = "Homepage", url = "https://model-checking.github.io/kani/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/model-checking/kani", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/model-checking/kani", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Model Checker', 'Rust Verifier']

2
tools/programs/loom.md
View File

@@ -5,7 +5,7 @@ title = 'Loom'
subtitle = 'Rust Verifier'
links = [
# { title = "Homepage", url = "https://www.pm.inf.ethz.ch/research/prusti.html", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/tokio-rs/loom", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/tokio-rs/loom", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Rust Verifier']

2
tools/programs/miri.md
View File

@@ -5,7 +5,7 @@ title = 'Miri'
subtitle = 'Rust Verifier'
links = [
# { title = "Homepage", url = "https://model-checking.github.io/kani/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/rust-lang/miri", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/rust-lang/miri", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Rust Verifier']

2
tools/programs/prusti.md
View File

@@ -5,7 +5,7 @@ title = 'Prusti'
subtitle = 'Rust Verifier'
links = [
{ title = "Homepage", url = "https://www.pm.inf.ethz.ch/research/prusti.html", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/viperproject/prusti-dev", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/viperproject/prusti-dev", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Rust Verifier']

2
tools/programs/shuttle.md
View File

@@ -5,7 +5,7 @@ title = 'Loom'
subtitle = 'Rust Verifier'
links = [
# { title = "Homepage", url = "https://www.pm.inf.ethz.ch/research/prusti.html", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/awslabs/shuttle", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/awslabs/shuttle", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Rust Verifier']

2
tools/programs/verus.md
View File

@@ -5,7 +5,7 @@ title = 'Verus'
subtitle = 'Rust Verifier'
links = [
# { title = "Homepage", url = "https://www.pm.inf.ethz.ch/research/prusti.html", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/verus-lang/verus", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/verus-lang/verus", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Rust Verifier']

2
tools/sat-smt/alt-ergo.md
View File

@@ -5,7 +5,7 @@ title = 'Alt-Ergo'
subtitle = 'SMT Solver'
links = [
{ title = "Homepage", url = "https://alt-ergo.ocamlpro.com/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/ocamlpro/alt-ergo", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/ocamlpro/alt-ergo", icon = 'fa-solid fa-code' },
{ title = "Playground", url = "https://try-alt-ergo.ocamlpro.com/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SMT Solver']

2
tools/sat-smt/bitwuzla.md
View File

@@ -5,7 +5,7 @@ title = 'Bitwuzla'
subtitle = 'SMT Solver'
links = [
{ title = "Homepage", url = "https://bitwuzla.github.io", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/bitwuzla/bitwuzla", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/bitwuzla/bitwuzla", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SMT Solver', 'Theorem Prover', 'SAT Solver']

2
tools/sat-smt/boolector.md
View File

@@ -5,7 +5,7 @@ title = 'Boolector'
subtitle = 'SMT Solver'
links = [
{ title = "Homepage", url = "https://boolector.github.io/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/boolector/boolector", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/boolector/boolector", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SMT Solver', 'Theorem Prover', 'SAT Solver']

2
tools/sat-smt/cadical.md
View File

@@ -5,7 +5,7 @@ title = 'CaDiCaL'
subtitle = 'SAT Solver'
links = [
# { title = "Homepage", url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/E/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/arminbiere/cadical", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/arminbiere/cadical", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SAT Solver']

2
tools/sat-smt/colibri.md
View File

@@ -5,7 +5,7 @@ title = 'Colibri'
subtitle = 'SMT Solver'
links = [
{ title = "Homepage", url = "https://colibri.frama-c.com/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://git.frama-c.com/pub/colibrics/-/tree/master", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://git.frama-c.com/pub/colibrics/-/tree/master", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SMT Solver']

2
tools/sat-smt/cryptominisat.md
View File

@@ -5,7 +5,7 @@ title = 'CryptoMiniSat'
subtitle = 'SAT Solver'
links = [
{ title = "Homepage", url = "https://www.msoos.org/cryptominisat5/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/msoos/cryptominisat", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/msoos/cryptominisat", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc4.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SAT Solver']

2
tools/sat-smt/cvc4.md
View File

@@ -5,7 +5,7 @@ title = 'cvc4'
subtitle = 'Theorem Prover'
links = [
{ title = "Homepage", url = "https://cvc4.github.io/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/CVC4/CVC4-archived", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/CVC4/CVC4-archived", icon = 'fa-solid fa-code' },
{ title = "Playground", url = "https://cvc4.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SMT Solver', 'Theorem Prover']

2
tools/sat-smt/cvc5.md
View File

@@ -5,7 +5,7 @@ title = 'cvc5'
subtitle = 'Theorem Prover'
links = [
{ title = "Homepage", url = "https://cvc5.github.io/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/cvc5/cvc5", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/cvc5/cvc5", icon = 'fa-solid fa-code' },
{ title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SMT Solver', 'Theorem Prover']

2
tools/sat-smt/dreal.md
View File

@@ -5,7 +5,7 @@ title = 'dReal'
subtitle = 'SMT Solver'
links = [
{ title = "Homepage", url = "https://dreal.github.io/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/dreal/dreal4", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/dreal/dreal4", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SMT Solver']

2
tools/sat-smt/e.md
View File

@@ -5,7 +5,7 @@ title = 'E'
subtitle = 'Theorem Prover'
links = [
{ title = "Homepage", url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/E/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/eprover/eprover", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/eprover/eprover", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Theorem Prover']

2
tools/sat-smt/glucose.md
View File

@@ -5,7 +5,7 @@ title = 'Glucose'
subtitle = 'SAT Solver'
links = [
{ title = "Homepage", url = "https://www.labri.fr/perso/lsimon/research/glucose/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/audemard/glucose", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/audemard/glucose", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SAT Solver']

2
tools/sat-smt/lean.md
View File

@@ -5,7 +5,7 @@ title = 'LEAN'
subtitle = 'Programming Language & Theorem Prover'
links = [
{ title = "Homepage", url = "https://lean-lang.org/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/leanprover/lean4", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/leanprover/lean4", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Theorem Prover', 'Modeling Language']

2
tools/sat-smt/lingeling.md
View File

@@ -5,7 +5,7 @@ title = 'Lingeling'
subtitle = 'SAT Solver'
links = [
{ title = "Homepage", url = "https://fmv.jku.at/lingeling/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/arminbiere/lingeling", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/arminbiere/lingeling", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SAT Solver']

2
tools/sat-smt/mathsat.md
View File

@@ -5,7 +5,7 @@ title = 'MathSAT'
subtitle = 'SMT Solver'
links = [
{ title = "Homepage", url = "https://mathsat.fbk.eu/", icon = 'fa-solid fa-home' },
# { title = "Source Code", url = "https://github.com/niklasso/minisat", icon = 'fa-brands fa-github' },
# { title = "Source Code", url = "https://github.com/niklasso/minisat", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SMT Solver']

2
tools/sat-smt/minisat.md
View File

@@ -5,7 +5,7 @@ title = 'MiniSat'
subtitle = 'SAT Solver'
links = [
{ title = "Homepage", url = "http://minisat.se/Main.html", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/niklasso/minisat", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/niklasso/minisat", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SAT Solver']

2
tools/sat-smt/opensmt.md
View File

@@ -5,7 +5,7 @@ title = 'OpenSMT'
subtitle = 'SMT Solver'
links = [
{ title = "Homepage", url = "https://verify.inf.usi.ch/opensmt", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/usi-verification-and-security/opensmt", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/usi-verification-and-security/opensmt", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SMT Solver']

2
tools/sat-smt/parafrost.md
View File

@@ -5,7 +5,7 @@ title = 'ParaFROST'
subtitle = 'SMT Solver'
links = [
# { title = "Homepage", url = "https://github.com/Z3Prover/z3", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/muhos/ParaFROST", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/muhos/ParaFROST", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SAT Solver']

2
tools/sat-smt/q3b.md
View File

@@ -7,7 +7,7 @@ subtitle = 'SMT Solver'
links = [
# { title = "Homepage", url = "https://ultimate.informatik.uni-freiburg.de/smtinterpol/", icon = 'fa-solid fa-home'},
{ title = "Source Code", url = "https://github.com/martinjonas/Q3B", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/martinjonas/Q3B", icon = 'fa-solid fa-code' },
# { title = "Documentation", url = "https://yices.csl.sri.com/yices2-documentation.html" }
]

2
tools/sat-smt/riss.md
View File

@@ -7,7 +7,7 @@ subtitle = 'SAT Tool Collection'
links = [
# { title = "Homepage", url = "https://ultimate.informatik.uni-freiburg.de/smtinterpol/", icon = 'fa-solid fa-home'},
{ title = "Source Code", url = "https://github.com/nmanthey/riss-solver", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/nmanthey/riss-solver", icon = 'fa-solid fa-code' },
# { title = "Documentation", url = "https://yices.csl.sri.com/yices2-documentation.html" }
]

2
tools/sat-smt/smt-rat.md
View File

@@ -7,7 +7,7 @@ subtitle = 'SMT Toolbox'
links = [
{ title = "Homepage", url = "https://ths-rwth.github.io/smtrat/", icon = 'fa-solid fa-home'},
{ title = "Source Code", url = "https://github.com/ths-rwth/smtrat", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/ths-rwth/smtrat", icon = 'fa-solid fa-code' },
# { title = "Documentation", url = "https://yices.csl.sri.com/yices2-documentation.html" }
]

2
tools/sat-smt/smtinterpol.md
View File

@@ -7,7 +7,7 @@ subtitle = 'Interpolating SMT Solver'
links = [
{ title = "Homepage", url = "https://ultimate.informatik.uni-freiburg.de/smtinterpol/", icon = 'fa-solid fa-home'},
{ title = "Source Code", url = "https://github.com/ultimate-pa/smtinterpol", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/ultimate-pa/smtinterpol", icon = 'fa-solid fa-code' },
# { title = "Documentation", url = "https://yices.csl.sri.com/yices2-documentation.html" }
]

2
tools/sat-smt/stp.md
View File

@@ -7,7 +7,7 @@ subtitle = 'Simple Theorem Prover'
links = [
{ title = "Homepage", url = "https://stp.github.io/", icon = 'fa-solid fa-home'},
{ title = "Source Code", url = "https://github.com/stp/stp", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/stp/stp", icon = 'fa-solid fa-code' },
# { title = "Documentation", url = "https://yices.csl.sri.com/yices2-documentation.html" }
]

2
tools/sat-smt/vampire.md
View File

@@ -5,7 +5,7 @@ title = 'Vampire'
subtitle = 'Theorem Prover'
links = [
{ title = "Homepage", url = "https://vprover.github.io/index.html", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/vprover/vampire", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/vprover/vampire", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Theorem Prover']

2
tools/sat-smt/verit.md
View File

@@ -7,7 +7,7 @@ subtitle = 'SMT Solver'
links = [
{ title = "Homepage", url = "https://www.verit-solver.org/", icon = 'fa-solid fa-home'},
# { title = "Source Code", url = "https://github.com/SRI-CSL/yices2", icon = 'fa-brands fa-github' },
# { title = "Source Code", url = "https://github.com/SRI-CSL/yices2", icon = 'fa-solid fa-code' },
# { title = "Documentation", url = "https://yices.csl.sri.com/yices2-documentation.html" }
]

2
tools/sat-smt/why3.md
View File

@@ -5,7 +5,7 @@ title = 'Why3'
subtitle = 'Theorem Prover'
links = [
{ title = "Homepage", url = "https://www.why3.org/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://why3.gitlabpages.inria.fr/releases/", icon = 'fa-brands fa-gitlab' },
{ title = "Source Code", url = "https://why3.gitlabpages.inria.fr/releases/", icon = 'fa-solid fa-code' },
{ title = "Playground", url = "https://www.why3.org/try/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SMT Solver', 'Theorem Prover', 'SAT Solver']

2
tools/sat-smt/yices.md
View File

@@ -7,7 +7,7 @@ subtitle = 'SMT Solver'
links = [
{ title = "Homepage", url = "https://yices.csl.sri.com/", icon = 'fa-solid fa-home'},
{ title = "Source Code", url = "https://github.com/SRI-CSL/yices2", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/SRI-CSL/yices2", icon = 'fa-solid fa-code' },
# { title = "Documentation", url = "https://yices.csl.sri.com/yices2-documentation.html" }
]

2
tools/sat-smt/z3.md
View File

@@ -5,7 +5,7 @@ title = 'Z3'
subtitle = 'Theorem Prover'
links = [
{ title = "Homepage", url = "https://github.com/Z3Prover/z3", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/Z3Prover/z3", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/Z3Prover/z3", icon = 'fa-solid fa-code' },
{ title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
]
applications = ['SMT Solver', 'Theorem Prover', 'SAT Solver']

2
tools/sat-smt/zipperposition.md
View File

@@ -5,7 +5,7 @@ title = 'Zipperposition'
subtitle = 'Theorem Prover'
links = [
{ title = "Homepage", url = "https://sneeuwballen.github.io/zipperposition/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/sneeuwballen/zipperposition", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/sneeuwballen/zipperposition", icon = 'fa-solid fa-code' },
# { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Theorem Prover']

2
tools/termination/approve.md
View File

@@ -5,7 +5,7 @@ title = 'AProVE TODO'
subtitle = 'Probabilistic Model Checker'
links = [
{ title = "Homepage", url = "https://cvc5.github.io/", icon = 'fa-solid fa-home' },
{ title = "Source Code", url = "https://github.com/dreal/dreal4", icon = 'fa-brands fa-github' },
{ title = "Source Code", url = "https://github.com/dreal/dreal4", icon = 'fa-solid fa-code' },
{ title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
]
applications = ['Probabilistic Model Checker', 'Rare Events']