/transalg-comparison

CNFs and additional data for comparison Transalg with other systems

Primary LanguageC

Stargazers