Lists (6)
Stars
7
stars
written in C++
Clear filter
The new Windows Terminal and the original Windows console host, all in the same place!
A C++ library for job management in a distributed search in the Condor scheduler.
Search over 2-connected graphs using ear augmentations
Searching for quasi- and pseudo-arithmetic progressions
Counting chains in width-two posets with few split pairs
Finding uniquely K_r-saturated graphs using custom augmentations.