Closed aligator closed 3 years ago
some information about how it could work: https://tams.informatik.uni-hamburg.de/publications/2018/MSc_Daniel_Ahlers.pdf 4.1.5 Support Generation
Done, not very pretty and not very fast, but yet there is support :+1:
some information about how it could work: https://tams.informatik.uni-hamburg.de/publications/2018/MSc_Daniel_Ahlers.pdf 4.1.5 Support Generation