Sebastian Junges
Sebastian Junges
See https://github.com/pypa/setuptools/issues/1684 I think that we should therefore consider alternatives.
Formula has a property .threshold which invokes calling a function that should only be called when a bound is present. Debuggers may want to display this property (which they do,...
If i try to make storm, i run into the following issue. ``` [ 39%] Building CXX object src/storm/CMakeFiles/storm.dir/abstraction/AbstractionInformation.cpp.o ... /Users/junges/storm/src/storm/storage/dd/cudd/InternalCuddBdd.h:46:67: error: use of undeclared identifier 'cudd'; did you mean...
Currently, carl may compile with an outdated version of Eigen on the system. For Storm, we currently always ship our own. Would it make sense to use this version for...
With https://github.com/moves-rwth/storm/pull/409, storm has now preliminary support for intervals. This is by no means stable. Some important feature that we are still missing are: - [ ] Explicit support for...
Generally, we are still fighting relatively long compile times despite major efforts to reduce them. I wanted to open this issue for some time to push us to improve here...