Details
-
Patch
-
Resolution: Done
-
Optional
-
None
Description
This is an initial implementation for the lazy TMS, as suggested here: http://blog.athico.com/2010/09/lazily-enabled-truth-maintenace.html
This is an initial implementation for the lazy TMS, as suggested here: http://blog.athico.com/2010/09/lazily-enabled-truth-maintenace.html