Pinned Repositories
icfpc-2018
kopricky.github.io
matplotlib-cpp
Extremely simple yet powerful header-only C++ plotting library built on the popular matplotlib
MayFestival
My-Algorithm
ogdf
Compiled version of the OGDF library.
ogdf-1
OGDF is a self-contained C++ class library for the automatic layout of diagrams.
togasat
A CDCL SAT Solver for Programming Contest
test
kopricky's Repositories
kopricky/My-Algorithm
kopricky/icfpc-2018
kopricky/kopricky.github.io
kopricky/matplotlib-cpp
Extremely simple yet powerful header-only C++ plotting library built on the popular matplotlib
kopricky/MayFestival
kopricky/ogdf
Compiled version of the OGDF library.
kopricky/ogdf-1
OGDF is a self-contained C++ class library for the automatic layout of diagrams.
kopricky/togasat
A CDCL SAT Solver for Programming Contest