Split fuzzy reasoner from cool repository
The branch fuzzy
contains work on fuzzy reasoning by Dominik Paulus, which is unrelated to cool and should be split into a separate repository.
The branch fuzzy
contains work on fuzzy reasoning by Dominik Paulus, which is unrelated to cool and should be split into a separate repository.