From 07cc6ae6175305fa1a48a5afba05b3f27257bab5 Mon Sep 17 00:00:00 2001 From: Landon Taylor Date: Thu, 10 Jul 2025 12:28:02 -0600 Subject: [PATCH] Fix #10 --- tools/prob/prinsys.md | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 tools/prob/prinsys.md diff --git a/tools/prob/prinsys.md b/tools/prob/prinsys.md new file mode 100644 index 0000000..a2e1a17 --- /dev/null +++ b/tools/prob/prinsys.md @@ -0,0 +1,22 @@ ++++ +date = 2025-06-07 +draft = false +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 = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' } +] +applications = ['Probabilistic Invariant Synthesizer'] +developers = ['RWTH Aachen'] +# licenses = ['MIT'] +# inputs = ['HeyVL'] +interfaces = ['GUI'] +maintenance = ['Not Maintained'] +# techniques = ['CDCL'] +# publications = ['Hensel2022'] ++++ + +{{}} +Caesar is a deductive verifier for probabilistic programs. \ No newline at end of file