<?xml version="1.0" encoding="UTF-8"?>
<feature
      id="BA_FeatureUltimateCommandLine"
      label="BA_FeatureUltimateCommandLine"
      version="0.3.1"
      provider-name="Ultimate Program Analysis Team"
      arch="x86_64">

   <requires>
      <import feature="BA_FeatureDependenciesCommon"/>
      <import feature="BA_FeatureUltimateCommon"/>
   </requires>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.cli"
         version="0.3.1"/>

   <plugin
         id="org.apache.commons.cli"
         version="1.3.1"/>

</feature>
