Closed hgeorgsch closed 2 years ago
A critical goal is to reduce the size of the graphs used for queries. Thus far we have taken almost a brute force approach, and this is too slow.
Some refactoring is done. The main job now is to sort and document the remaining rules.
This is cleaned up significantly, and a lot easier to follow.
The Rules module is difficult to read and should be refactored for readability. Probably, the inference can be made smarter and faster.