From fa52a02de085410b9562e532daa149959bf73af7 Mon Sep 17 00:00:00 2001 From: Stefan Ellmauthaler Date: Wed, 27 Jul 2022 12:53:41 +0200 Subject: [PATCH] Added more links and information to the landing page --- docs/index.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/docs/index.md b/docs/index.md index 64a6501..4c2f6dc 100644 --- a/docs/index.md +++ b/docs/index.md @@ -14,6 +14,11 @@ This project is currently split into two parts: - a [binary (adf-bdd)](adf-bdd.md), which allows one to easily answer semantics questions on abstract dialectical frameworks - a [library (adf_bdd)](adf_bdd.md), which contains all the necessary algorithms and an open API which compute the answers to the semantics questions +Latest documentation of the API can be found [here](https://docs.rs/adf_bdd/latest/adf_bdd/). +The current version of the binary can be downloaded [here](https://github.com/ellmau/adf-obdd/releases). + +Do not hesitate to report bugs or ask about features in the [issues-section](https://github.com/ellmau/adf-obdd/issues) or have a conversation about anything of the project in the [discussion space](https://github.com/ellmau/adf-obdd/discussions) + ## Abstract Dialectical Frameworks An abstract dialectical framework (ADF) consists of abstract statements. Each statement has an unique label and might be related to other statements (s) in the ADF. This relation is defined by a so-called acceptance condition (ac), which intuitively is a propositional formula, where the variable symbols are the labels of the statements. An interpretation is a three valued function which maps to each statement a truth value (true, false, undecided). We call such an interpretation a model, if each acceptance condition agrees to the interpration.