public interface InequalityEngine
extends Engine
void
setMainInvariant(int index)
run
public void setMainInvariant(int index)