LTNtorch v1.0.0
This is the second release of LTNtorch, named v1.0.0.
In this new release, the following improvements have been made:
- the SatAgg aggregator now accepts both torch.Tensor and LTNObject instances, instead of only LTNObject instances as the previous version. This update makes the aggregator more flexible;
- the efficiency of the framework has been improved;
- guarded quantification has been totally re-implemented. Now, the mask is directly passed to the aggregator and used by it to filter the grounding of the formula;
- some problems with deep copies inside the framework have been fixed. This was the solution for the issue opened on the repository.