https://github.com/RichardMoot/LinearOne
History
Tip revision: df7213ac56879e808f86e43cc7adb5a92274b34b authored by Richard Moot on 03 April 2015, 21:38:18 UTC
Corrected error in constraints
Tip revision: df7213a
File Mode Size
.gitignore -rw-r--r-- 345 bytes
LICENSE -rw-r--r-- 25.8 KB
Makefile -rw-r--r-- 43 bytes
README.md -rw-r--r-- 2.8 KB
auxiliaries.pl -rw-r--r-- 7.2 KB
d_grammar.pl -rw-r--r-- 6.4 KB
dancing_links.pl -rw-r--r-- 6.1 KB
hybrid_grammar.pl -rw-r--r-- 8.2 KB
latex.pl -rw-r--r-- 29.0 KB
lexicon.pl -rw-r--r-- 5.2 KB
mill1.pl -rw-r--r-- 27.2 KB
mill1.tgz -rw-r--r-- 40.3 KB
ordset.pl -rwxr-xr-x 17.1 KB
portray_graph_dot.pl -rw-r--r-- 1.0 KB
portray_graph_none.pl -rw-r--r-- 217 bytes
portray_graph_tikz.pl -rw-r--r-- 6.2 KB
proof_generation.pl -rw-r--r-- 43.8 KB
proof_generation_nd.pl -rw-r--r-- 4.6 KB
replace.pl -rw-r--r-- 4.9 KB
sem_utils.pl -rw-r--r-- 17.6 KB
translations.pl -rw-r--r-- 30.0 KB
tree234.pl -rwxr-xr-x 60.0 KB

README.md

back to top