Alberto Morato

Incompatibilities with latest Z3 releases

2

It seems that TSNSched has some problems with the latest Z3 releases (4.10 and above) ``` :./libs/com.microsoft.z3.jar:./libs/gson-2.8.6.jar:./libs/java-json.jar:./libs/TSNsched.jar java: symbol lookup error: /usr/lib/libz3java.so: undefined symbol: Z3_toggle_warning_messages ``` Installing Z3 v4.9.1 seems...

Dear Evariste, I added two functionalities to sendook: 1- add support for OOK_PWM and OOK_PPM modulations (see for reference rtl_433). These are useful if you have to emulate some wireless...

Doesn't appear to be base 10.  _Originally posted by @BrianDevKit in https://github.com/albymor/Increment-Selection/issues/5#issuecomment-510212782_