Krayn
Krayn
quick update: my first run with bounded variables might have had some other issue. i restarted the file before i opened this "issue" and it just returned unsat (like expected)...
currently only iSAT3 and iSAT (technically iSAT2 - weird naming scheme) i still want to check out marabou
i intended to use dreal as a comparable SMT solver for the evaluation of my master thesis. With the deadline when i need to be done with all testruns approaching...
Hey, did you get a chance to run the 4 files yet? how did they evaluate with your updated version? is there a estimate on when those changes will be...
@soonhokong, so instead of `(assert (= n_o_7 (sigmoid (+ (* n_6_0 w_0) ... (* n_6_n w_n) b))))` i would encode it like this? `(assert (= n_o_7_h0 (+ (* n_6_0 w_0)...
nice, those values seem way more in line with what i expected :) i have sent him an email
> ### What happened? > Hi, as I did simple support for HD108 led in NeoPixelBus ([Makuna/NeoPixelBus#838](https://github.com/Makuna/NeoPixelBus/pull/838)) I thought doing so on WLED as well to help out my personal...