[cfe-dev] [GSoC] Re: CSA constraint solver improvements

[Manas via cfe-dev]

On Mon, Apr 12, 2021 at 06:28:19PM -0400, Mikhail Ramalho Gadelha wrote:
> BTW, any plans to implement anything floating-point-related?
> 
We have only discussed about integers so far.

However, studying about solvers has really intrigued me. And I 
am willing to be an active contributor in CSA for future too. :)

-- 
Manas
CSAM Undergraduate | 2022
IIIT-Delhi, India