Skip to content
Snippets Groups Projects
Commit 88ba78e0 authored by Radek Hušek's avatar Radek Hušek
Browse files

add helper scripts geng_json.sh and graph_to_json.sh

parent 5e678135
No related branches found
No related tags found
No related merge requests found
#!/bin/bash
: ${FOOBAR:=~/git/Snarks/foobar}
"$FOOBAR"/nauty/geng "$@" |
./graph_to_json.sh |
"$FOOBAR"/annotate_json.py \
n='g.num_verts()' \
edge_chromatic_number='(g.line_graph().chromatic_number())' |
"$FOOBAR"/cyclic_connectivity_json 2>/dev/null
#!/bin/bash
exec jq -cR '{ "graph": . }'
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment