codac
codac copied to clipboard
Codac is a library for constraint programming over reals, trajectories and sets.
When I test the following code: x = Interval(-4,4) f = Function("x", "cos(x)*cos(x)+sin(x)*sin(x)") y = f.eval(x) print(y) I have obtained the following results: ([-2, 2]) So, for the sake of...
Sorry, I did not intend to submit the PR now, it is not completely ready...
In C++, the following operation cannot be written... ``` c++ Eigen::Matrix A; Eigen::Matrix B; Eigen::Matrix C = A * B; ``` .. without casting B to an interval type: ```...
Access the Doxygen documentation from the CODAC manual website.
The following Python code.. ``` py import codac as cdc from scipy.linalg import sqrtm ``` ..generates the warning: `UserWarning: Signature b'\x99\x99\x99\x99\x99\x99\xb9\xbf' for does not match any known type: falling back...