Aditi Kabra's Team
Unmute
Algebraic Simplification in Propositional Logic:
The algebraic_simplification_cesar project is focused on developing advanced tools for the algebraic simplification of expressions in propositional logic with arithmetic predicates. Using the Z3 theorem prover and leveraging egg heuristics, this project aims to outperform existing tools like Mathematica on specific examples. The project is implemented in Rust, and the repository is managed using Cargo. Key enhancements include integrating with SymPy, developing a regression testing system, and refining the codebase to make it more accessible for contributors.
The algebraic_simplification_cesar project is focused on developing advanced tools for the algebraic simplification of expressions in propositional logic with arithmetic predicates. Using the Z3 theorem prover and leveraging egg heuristics, this project aims to outperform existing tools like Mathematica on specific examples. The project is implemented in Rust, and the repository is managed using Cargo. Key enhancements include integrating with SymPy, developing a regression testing system, and refining the codebase to make it more accessible for contributors.
How much experience does your group have? Does the project use anything (art, music, starter kits) you didn't create?
CodeDay Labs team mentored by Aditi Kabra.
Made with 💖 by robots running our open-source software and GraphQL APIs.