Package org.grinvin.engine

Interface Summary

Engine Conjecturing engine.
InequalityEngine

Class Summary

AbstractInequalityEngine
APEngine Proof of concept (quick and dirty) implementation of Engine.
EngineRunner Object which can be used to run a given conjecturing engine in a background thread.
EngineRunner.Status
QDEngine Proof of concept (quick and dirty) implementation of Engine.