Summary: 23 instances, 20 unique

Text	Count
// TODO: extend `Fold` derive to work for `CoreOp`	2
// TODO: is it necessary to eliminate lets up-front?	1
// TODO: don't clone, which requires a way to lookup interned symbols by &str	1
// TODO: is there a better encoding for variadic XOR?	1
// TODO: instead of boxing, could also make an enum -- might be worth it	1
// TODO: generate an enum of each variant's iterator types instead of boxing	1
// TODO: support this once `Logic::Var` no longer exists.	1
// TODO: actually test something	1
// TODO: extend `Visit` derive to work for `CoreOp`	2
// TODO: this is Copy now, but once `Intern` is switched to `ArcIntern`	1
// TODO: take attributes into account?	1
solvers   = ['cvc4', 'z3'] # TODO If adding a new solver, add it here	1
// TODO: this isn't really what it is, but it'll print out right	1
solvers = ['cvc4', 'z3'] # TODO If adding a new solver, add it here	2
theories  = ['qf_slia']    # TODO If adding a new theory, add it here	1
// FIXME: does this make more sense or does it make more sense to group the three into a	1
# TODO Set options to enable Z3 output of lemmas	1
SUPPORTED_THEORIES = ['QF_SLIA', 'QF_IDL', 'QF_LIA'] # TODO If adding a theory, add it here	1
// TODO: this probably should be the impl that exists	1
// TODO: can the bound be computed with `ite` and `distinct` applications left as-is?	1