@@ -0,0 +1,350 @@
+package org.example.fogbeam.blackboard.agent;%0A%0Aimport org.example.fogbeam.blackboard.BlackboardFrame;%0Aimport org.example.fogbeam.blackboard.Conversation;%0A%0Apublic class Prover9Agent extends SimpleBlackboardAgent %0A%7B%0A%0A%09@Override%0A%09protected void process(Conversation conversation, BlackboardFrame frame) %0A%09%7B%0A%09%09// TODO Auto-generated method stub%0A%09%09%0A%09%7D%0A%0A%7D%0A

add placeholder for an agent based on Prover9