💡 I like to explore new technologies and develop software solutions and quick hacks.
🎓 I'm currently studying computer scicence at Peking University.
🌱 I'm on track for learning more about AI compiler.
syheliel / claripy Goto Github PK
View Code? Open in Web Editor NEWThis project forked from angr/claripy
An abstraction layer for constraint solvers.
License: BSD 2-Clause "Simplified" License