This project is read-only.
1
Vote

Import factual models for modular decomposition

description

A factual model currently is all in one file. The facts in the model can only refer to other facts in the same model. Implement the import keyword to reference facts from other models, optionally assigning them aliases. Ideally, the other models would be referenced assemblies, not factual source files.

comments