Tools
Graph Editor
Build graphs by hand or from 30+ generators, then compute over 50 invariants. Click any result to paint it back onto the drawing — see the actual clique, colouring, or Hamiltonian cycle, not just its size.
- Undo/redo
- Pan & zoom
- 6 file formats
- Auto force-layout
Conjecture Checker
Sweep a generator's parameter space or load a Graph6 file, evaluate any JavaScript expression over the metrics, and filter straight to the counterexamples. Export the whole dataset as CSV.
- Graph6 input
- Parameter sweeps
- Sortable results
- CSV export
What it computes
50+
Graph invariants
30+
Graph generators
6
Import/export formats
0
Servers involved
Built with
Rust + wasm-bindgen
WebAssembly
HTML5 Canvas
VivaGraph WebGL
Vanilla ES modules