/** * This package contains a port of FaCT++ Atomic Decomposition implementation. */ @javax.annotation.ParametersAreNonnullByDefault package uk.ac.manchester.cs.factplusplusad;