Added feature: pilot. The function classifier.pilot(Parameters) can be used to call gringo and clasp automatically.
It returns the classifiers as a list of GateInputs. For an example see pilot.py.
Added feature: breaking symmetries. Added constraints that break some symmetries. Not sure if it really works.