Go to file
Fedor Isakov 094c4e795e Updated typesystem2 runtime: LogicVariable compatible with terms API, custom constraints 2014-11-26 14:58:01 +01:00
.mps TMP typesystem2 aspect 2014-10-08 09:52:05 +02:00
languages Updated typesystem2 runtime: LogicVariable compatible with terms API, custom constraints 2014-11-26 14:58:01 +01:00
solutions Simplify usage of parameter and local logic variables 2014-11-19 17:07:03 +01:00
.gitattributes Initial import 2014-07-03 15:02:07 +02:00
.gitignore Compiling JCHR seemlessly as part of MPS make 2014-08-01 16:46:40 +02:00
.gitmodules Renamed the solution 2014-07-28 11:58:53 +02:00