]> gitweb.factorcode.org Git - factor.git/blob - extra/backtrack/summary.txt
Merge branch 'master' into global_optimization
[factor.git] / extra / backtrack / summary.txt
1 Simple non-determinism