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