org.topbraid.spin.inference
Classes 
SPINConstructors
SPINExplanations
SPINInferences
SPINStatistics