Package org.grinvin.conjecture.engine

Interface Summary

Engine Conjecturing engine.
InequalityEngine

Class Summary

AbstractEngine
AbstractInequalityEngine
APEngine Proof of concept implementation of Engine.
EngineRunner Object which can be used to run a given conjecturing engine in a background thread.
EngineRunner.Status
MainInvariantConfigurationPanel A standard configuration panel for an InequalityEngine that allows the selection of a main invariant.