storm icon indicating copy to clipboard operation
storm copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

Soplex export location

Open sjunges opened this issue 1 year ago • 0 comments

As @volkm wrote:

We are not using add_imported_library in the CMake file for soplex.

This would resolve one instance of anohter flaw: https://github.com/moves-rwth/storm/issues/358

sjunges avatar May 09 '23 16:05 sjunges