Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/plugin.xml_gen


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>

<plugin>

  <extension point="org.eclipse.emf.ecore.generated_package">
    <package 
       uri = "http://www.bme.hu/mit/inf/dslreasoner/SmtLanguage" 
       class = "hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage"
       genModel = "model/generated/SmtLanguage.genmodel" /> 
	
  </extension>


</plugin>