warshall_boolean.gpr

project Warshall_Boolean is

   for Source_Dirs use ("src");
   for Object_Dir use "obj";
   for Main use ("runtranslator.adb");

end Warshall_Boolean;