Add files via upload

1 files changed, 6 insertions, 0 deletions

diff --git a/sourcecodes/k-best/src/clean.sh b/sourcecodes/k-best/src/clean.sh
new file mode 100644
index 00000000..3db60eb5
--- /dev/null
+++ b/sourcecodes/k-best/src/clean.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+
+rm -f get_local_scores split_local_scores reverse_local_scores \
+   get_best_parents get_best_sinks get_best_order get_best_net \
+   score_net score_nets net2parents parents2arcs arcs2dot \
+   *.exe *.o *~