RSS Amplifier

blog-sympy-gsoc2025 · Jun 1, 2025

GSoC Bonding Phase

Read inOriginalenesdefrptjaittr
0
Sign in to vote or save

This page did not load. You can still read it on the original site — the toolbar below keeps your place in the directory.

This phase I began extensively deep diving into exploring SymPy’s assumptions system, researching and understanding implementations of SAT solvers and SAT handlers.

This phase I began extensively deep diving into exploring SymPy’s assumptions system, researching and understanding implementations of SAT solvers and SAT handlers.

Besides this, I have been working on fixing the first couple of issues which were low-hanging fruit as listed in my proposal:

  • Equivalence of Q.eq(x, 0) and Q.zero(x)
  • Q.ge(x) implying Q.gt(x)
  • Q.le(x) implying Q.lt(x)

Excited to start pushing more code soon 🚀.

Read on krishnavbajoria02.github.io ↗

Comments

Nothing yet. Say the first thing.

    Sign in to join the conversation.