fadecider

API

Library fadecider

• Base
• Cachedtaggedtrapo
• Cachedtrapo
• Solverregistry
• Solvers
• Subsumption
• Taggedtrapo
• Trapo
• Universality