GitHub repository: salome-eriksson/helve
Primary language: C++
Created: 2020-10-20T12:23:19Z
Description: verifier for unsolvability certificates for classical planning