tabellion, branch master

Disables the "inferred" feature by default.

2017-10-31T15:22:43+00:00

Adds error when no data is fed to parser.

2017-10-31T15:02:56+00:00

Adds a Java version of prop-to-pred.

2017-10-31T09:44:05+00:00

Limits the creation of atom-relations to "String".

2017-09-27T14:02:38+00:00

The need for those relations is limited to the access of their atom in
the formula. As, with the exception of String elements, the formula
cannot directly reference an atom, only String atoms require their own
relation. Going even further, only the String element referenced in the
formula need their own relation.

Adds some missing files.

2017-09-26T11:37:08+00:00

Fixes dependency rule issues.

2017-09-25T13:39:41+00:00

Updates Tests, fixes 2 properties & inferred/*.mod

2017-09-25T10:48:44+00:00

Got some property dependencies to work.

2017-09-21T13:26:01+00:00

Solves the missing solutions bug. Starts PropDeps.

2017-09-20T15:19:42+00:00

Adds comments to CNE_01700.

2017-09-20T11:40:40+00:00