wenlong

Dear mithi, Do you test your project under linux? I can build it and when I run it, there is an error: Listening to port 4567 Connected!!! cppad-20160000.1 error from...

Have you ever run this program

1

Dear, Thanks for such bravo work! I tested using MATLAB 2018a, but it gave errors as following: Warning: Solver not found (sedumi) solvertime: 0 info: 'Solver not found (sedumi)' problem:...

could not install ikos for ubuntu 20.04

2

I have tried many times to install ikos for ubuntu 20.04, but It does not success, there are some errors: ==> Fetching nasa-sw-vnv/core/apron ==> Downloading http://apron.cri.ensmp.fr/library/apron-0.9.10.tgz Already downloaded: /home/cocosim/.cache/Homebrew/downloads/34a965edee1371d94da025a09ba608766ae7a3afc1c878e2a1a0053d2fb822d8--apron-0.9.10.tgz ==>...