Pinned Repositories
DPLLT
DPLLT fot SMT problems using CDCL, BCP & DLIS. Provided with TQ & UF theories
ipython
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
jyuv
Mos-Algorithm
Python implementation of Mo's Algorithm - a method for answering a series of range queries on the same array. The repository provides a general interface for Mos operations
pandas
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
Python
All Algorithms implemented in Python
RevisedSimplex
A high performence numpy based implementation of revised simplex
scipy
SciPy library main repository
segment-tree
A generic python3 implementation of segment tree and dual segment tree data structures. Supporting generic inputs and non-commutative functions.
pandas
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
jyuv's Repositories
jyuv/DPLLT
DPLLT fot SMT problems using CDCL, BCP & DLIS. Provided with TQ & UF theories
jyuv/ipython
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
jyuv/jyuv
jyuv/Mos-Algorithm
Python implementation of Mo's Algorithm - a method for answering a series of range queries on the same array. The repository provides a general interface for Mos operations
jyuv/pandas
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
jyuv/Python
All Algorithms implemented in Python
jyuv/RevisedSimplex
A high performence numpy based implementation of revised simplex
jyuv/scipy
SciPy library main repository
jyuv/segment-tree
A generic python3 implementation of segment tree and dual segment tree data structures. Supporting generic inputs and non-commutative functions.