GitHub repository: uym2/pasta
Primary language: Python
Description: PASTA (Practical Alignment using SATe and Transitivity)