Lifted unit propagation iterates over the full structure

Which is quite expensive for large/infinite structures. Main issue is that it is difficult to find out where this long run comes from when the user expects it to be fast (because using cp).

#include <mx> vocabulary V{ type x isa int C:x C2:x }

theory T:V{ C~=C2. }

structure S:V{ x = {1..100000000} } procedure main(){ stdoptions.cpsupport = true stdoptions.liftedunitpropagation = true // (on by default) print(onemodel(T,S)) }

Comments (5)