Support for type variables#6

Open

Mallku2 wants to merge 38 commits intocvc5:mainfrom

Mallku2:support_for_type_variables

Commits on Oct 1, 2025

cosmetic changes to docs.; minor cosmetic change in isarare_config.print_options
Mallku2
committed

Commits on Oct 6, 2025

minor updates in ROOT
Mallku2
committed

Commits on Oct 7, 2025

Merge remote-tracking branch 'upstream'
Mallku2
committed

Commits on Oct 9, 2025

Merge remote-tracking branch 'upstream'
Mallku2
committed

Commits on Oct 13, 2025

adding tests for RareAsEunoia
Mallku2
committed

Commits on Oct 15, 2025

Commits on Oct 16, 2025

Commits on Nov 3, 2025

Commits on Nov 4, 2025

Commits on Nov 11, 2025

minor improvement to better deal with Type variables
Mallku2
committed

Commits on Nov 20, 2025

Commits on Dec 25, 2025