Implementation of the algorithm presented in "Library-based Attack Tree Synthesis" by S. Lê Cong, S. Pinchinat, F. Schwarzentruber (presented at GraMSec 2020).
Input
library:
trace:
Output: attack tree (warning: only SAND of arity at most 3 and AND of arity at most 2 are supported)