search

FMFI-UK-1-AIN-412 / formalization-checker-backend

The back end of a tool for checking formalization exercises.
GNU General Public License v3.0
0 stars 5 forks source link

Parallel equivalence checking #34

Open crnkjck opened 1 year ago

crnkjck commented 1 year ago

Whenever possible, parallelize equivalence checking by running two vampire processes at once.

See Promise.all()

Before running vampire, quickly check formulas for equality modulo variable renaming by comparing their translations to the TPTP syntax.