yinyang icon indicating copy to clipboard operation
yinyang copied to clipboard

Published 20 hours ago • verified publisher icon testsmt

Extend to support all logics (Typechecker)

Open jiwonparc opened this issue 3 years ago • 0 comments

This mostly means to make the type-checker capable of dealing with SMT-LIB files of all logics. It is already implemented but not yet robust enough.

jiwonparc avatar Jul 07 '21 15:07 jiwonparc