tct-lctrs TCT branch for logically constrained rewrite systems This bundle collects and extends executables of the tct framework with version 3.3. Compiles with ghc-8.6.5; stack lts-13.20. It needs a yices-smt2 executable in the PATH which points to Yices2.