ellmau/adf-obdd
1
0
Fork 0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00
Code Issues Projects Releases Wiki Activity
1 Commit 18 Branches 18 Tags
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Stefan Ellmauthaler 317a01a701
Initial commit
2021-06-11 12:31:36 +02:00
.gitignore
Initial commit
2021-06-11 12:31:36 +02:00
LICENSE
Initial commit
2021-06-11 12:31:36 +02:00
README.md
Initial commit
2021-06-11 12:31:36 +02:00

README.md

obda

Description
Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)
argumentation-frameworksargumentation-toolsbinary-decision-diagrams
Readme MIT 4.7 MiB
Languages
Rust 81.9%
TypeScript 14.4%
HTML 2.7%
Nix 0.8%
Dockerfile 0.2%