FT2BDD: A framework for converting fault trees into BDDs
Contributions:53 commits, 17 PRs, 22 pushes in 1 month
treesconvertingfaultbdds
COnstrained Rewriting Analyser: a tool to analyse term rewriting systems with logical constraints
Contributions:10 PRs, 30 pushes, 6 branches in 3 months
analyserrewritingconstrainedterm-rewritingterm