Fedor Isakov 25e71a8978 Avoid judging if a var is a wildcard by its name, use the wildcard feature of a logical		2015-07-20 17:09:45 +02:00
.idea	IDEA modules updated	2015-06-08 13:39:45 +02:00
.mps	Refactoring the code to use the updated API for processing constraints	2015-06-17 16:12:51 +02:00
languages	Switched to using data type for logical vars	2015-07-20 17:08:55 +02:00
solutions	Avoid judging if a var is a wildcard by its name, use the wildcard feature of a logical	2015-07-20 17:09:45 +02:00
.gitattributes	Initial import	2014-07-03 15:02:07 +02:00
.gitignore	Ignore IDEA's workspace file	2015-02-09 16:21:36 +01:00
.gitmodules	Renamed the solution	2014-07-28 11:58:53 +02:00