YuriyTigiev

They have better performance for optimization and solving boolean expressions. But sympy has better api interface for working with expressions. ________________________________ From: Shekhar Prasad Rajak ***@***.***> Sent: Friday, June 14,...

Sorry, but I didn't fully understand the meaning of your advice. Could you please clarify? ________________________________ From: S.Y. Lee ***@***.***> Sent: Saturday, June 15, 2024 9:59 AM To: sympy/sympy ***@***.***>...

Here is some information about the Z3 and dd libraries. I also discovered the pyeda library, which has implemented more powerful algorithms (Espresso and SAT) for optimization. https://github.com/Z3Prover/z3 ### Z3...

I needed direct conversion from code without using text files. Below is an example of the code generated by ChatGPT, but I couldn't use it. I don't quite understand how...

> > I'm not even sure if that project have to be inside SymPy, > > I think it makes sense to have this in SymPy. There already some things...

If you decide to implement the ability to import/export Boolean expressions between SymPy and Z3, please also consider supporting the pyeda library. SymPy is a very convenient library for working...

Smoothly integrating Windsurf with LM Studio could be a great idea. 

> not sure, but I think its only calling the api of exchanges, and thats the data returned by the endpoint. They don't use the exchange's web socket ?

Exchnage - Binance CCXT - latest Language - Python 3.11 Everything works, but not as expected. When I work directly with the Binance Web Socket (without CCXT), I receive a...

I need to create a volume heatmap, separately for bids and for asks, at a price increment of N. Is it feasible to implement this with the current functionality of...