package org.example.fogbeam.blackboard.agent;

import org.example.fogbeam.blackboard.BlackboardFrame;
import org.example.fogbeam.blackboard.Conversation;

public class Prover9Agent extends SimpleBlackboardAgent 
{

	@Override
	protected void process(Conversation conversation, BlackboardFrame frame) 
	{
		// TODO Auto-generated method stub
		
	}

}

add placeholder for an agent based on Prover9