constraint logic fuzzing

REMath · Sep 21, 2014 · 1b98aa7 · 1b98aa7
1 parent ee3262d
commit 1b98aa7
Show file tree

Hide file tree

Showing 364 changed files with 5,877 additions and 281 deletions.
diff --git a/code_examples/plot_hex.py b/code_examples/plot_hex.py
diff --git a/constraint_logic_fuzzing/README.txt b/constraint_logic_fuzzing/README.txt
@@ -0,0 +1,3 @@
+For each of the predicates, do `swipl -s predicate_name.pl`,
+then run `doEvaluation(Secs)`, where `Secs` is the number of seconds to
+run for (e.g., `doEvaluation(300)` for 300 seconds (5 minutes)).