1 Commits (c79351be99b5305b110992221d9456f9a4244052)

Author SHA1 Message Date
  Victor Lopez 3a6a4fcce6
feat: refactor simple smt to use empty subtree constants 2 years ago