new dependency significantly slows down incremental reasoning

Hypermedea / hypermedea

Main repository for the Hypermedea programming framework

5 stars 1 forks source link

Closed vcharpenay closed 11 months ago

vcharpenay commented 2 years ago

Every stated ABox statement is also processed as inferred one. Due to the new ONT API dependency ?

vcharpenay commented 11 months ago

reasoning not included in artifacts anymore, starting from v0.4.