storm icon indicating copy to clipboard operation
storm copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

refactoring towards compile speed

Open sjunges opened this issue 1 year ago • 3 comments

sjunges avatar Dec 17 '23 19:12 sjunges

LGTM but there is an #include <carl/formula/Formula.h> missing, see CI.

volkm avatar Dec 19 '23 16:12 volkm

Removing that include is (one of) the point(s) of this PR. So i have to think a bit more.

sjunges avatar Dec 19 '23 18:12 sjunges

@linusheck Could you eventually look into this? THat would be great

sjunges avatar May 08 '24 20:05 sjunges