specializations Namespace Reference

Namespaces
	clingo
	dlv
	dlv2
	dlvhex
	idlv
	solver_planning_domains