smirarab / pasta

PASTA (Practical Alignment using SATe and Transitivity)
87Updated 5 months ago

Alternatives and similar repositories for pasta:

Users that are interested in pasta are comparing it to the libraries listed below