Linus
Linus
> A potential problem might be that users have different configurations of Storm installed and I am not sure how well a pre-compiled package would work here. Do you have...
> Regarding easy to install via pip: it should work in principle with `pip install stormpy` using the existing pypi package. It will need to compile stormpy but it should...
> As far as I am aware the wheel package will only contain the stormpy libraries but not Storm itself. That makes sense. We can probably get storm in there...
Hi, I have the exact same problem.
the funda problem >:(
I have the same issue, just found 20GB of swap occupied with Java processes
Another example: ``` if W === nothing if DiffEqBase.has_paramjac(f) # Calculate the parameter Jacobian into pJ f.paramjac(pJ, y, p, t) else pf.t = t pf.u = y if inplace_sensitivity(S) jacobian!(pJ,...
IDK, you know much more about what this library is actually doing, and such an architecture may be worse, or impossible to implement. Feel free to close the issue, it's...
MWE: ``` using Lux, Zygote, DifferentialEquations, ComponentArrays, Random, CUDA, SciMLSensitivity rng = Xoshiro() drift_net = Dense(2 => 2) diffusion_net = Dense(2 => 2) ps_drift_, st_drift = Lux.setup(rng, drift_net) ps_diffusion_, st_diffusion...