natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Unification solver implementation. TreeLogical working from within JCHR runtime 

Fixed the dependencies
This commit is contained in:
Fedor Isakov 2014-07-28 10:46:17 +02:00
parent 020d625940
commit 148a8424c8
2 changed files with 1201 additions and 205 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
View File

@ -12,9 +12,9 @@
<source path="${module}/source" />
</sourcePath>
<dependencies>
<dependency reexport="false">b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime)</dependency>
<dependency reexport="false">eaa96e7c-030a-4e4f-8ae7-a24dff1e0572(jetbrains.mps.logic.sandbox)</dependency>
<dependency reexport="true">7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.unification)</dependency>
<dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
<dependency reexport="true">b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime)</dependency>
<dependency reexport="false">7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.unification)</dependency>
</dependencies>
<usedDevKits>
<usedDevKit>fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)</usedDevKit>

1400
languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/jchr/unification.mps
View File

File diff suppressed because it is too large Load Diff