-
Vincent Tourneur authored
Fixes #80. * bin/genltl.cc: Add --kr-n2, --kr-nlogn and --kr-n. * bin/man/genltl.x: Add the paper in the documentation. * tests/core/genltl.test: Test them.
fc2831bf
Fixes #80. * bin/genltl.cc: Add --kr-n2, --kr-nlogn and --kr-n. * bin/man/genltl.x: Add the paper in the documentation. * tests/core/genltl.test: Test them.