Keydrain / Steiner-Tree-Visualization
A Python program that displays MST in Rectilinear and Euclidean Space as well as SMT in Rectilinear and Euclidean space. Final project for algorithm topics.
☆11Updated 9 years ago
Alternatives and similar repositories for Steiner-Tree-Visualization:
Users that are interested in Steiner-Tree-Visualization are comparing it to the libraries listed below
- Python tools for the K Framework☆13Updated 8 months ago
- Granular Rigid Body Simulation Framework: efficient research tools to simulate non-smooth granular rigid body dynamics.☆10Updated last year
- Coroutine implementation for C++11☆18Updated 12 years ago
- Professional C++ Examples☆10Updated 3 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆14Updated 8 months ago
- Benchmarking reading and parsing integers from a file in C++.☆9Updated 4 years ago
- A library for unconstrained minimization of smooth functions using Newton's method or L-BFGS.☆35Updated 6 years ago
- sandbox for my c++ functional programming experiments☆33Updated 11 years ago
- SymPP: A Symbolic Library that compiles itself☆13Updated 4 years ago
- High performance event tracing☆16Updated 2 weeks ago
- Ninja-based configuration system☆11Updated 4 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- C++ Parsing/searching/validating expression grammar library (PEG) To write Regex-like expressions in the core☆13Updated last year
- SIMD-accelerated UTF-8 to UTF-32 conversion☆11Updated 6 years ago
- A C++ memory pool that is Boost-friendly and performance oriented (zero-malloc).☆21Updated last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- tokenizer and parser for circle projects☆11Updated 5 years ago
- C++ genetic algorithms scientific library☆12Updated last year
- Probabilistic Data Structure Template Library☆28Updated 4 years ago
- Apply hot patches for running processes without restarting☆13Updated 4 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 3 years ago
- java-like synchronized blocks in c++☆13Updated 10 years ago
- oystr recursively searches directories for a substring.☆11Updated 2 years ago
- Benchmark supporting baseless libel against clang-format☆11Updated 5 years ago
- Fast and simple algorithms for computing both LCSk and LCSk+☆21Updated 6 years ago
- A vectorized single header hash function.☆19Updated 2 months ago
- Experimental patches to implement missing C++20 modules features for the clang/LLVM toolchain.☆23Updated 2 years ago
- A header-only C++ library that augments the standard library with useful code snippets☆12Updated 4 months ago
- A collection of useful things; sometimes proofs of concepts, sometimes production-ready code.☆20Updated 4 years ago