Skip navigation links

@ParametersAreNonnullByDefault

Package uk.ac.manchester.cs.factplusplusad

This package contains a port of FaCT++ Atomic Decomposition implementation.

See: Description

Package uk.ac.manchester.cs.factplusplusad Description

This package contains a port of FaCT++ Atomic Decomposition implementation.
Skip navigation links

Copyright © 2017 The University of Manchester. All rights reserved.