Closed Brechtpd closed 1 month ago
Uses a makefile to both install all dependencies and build/run/test the provers. Check the README for instructions.
Uses a makefile to both install all dependencies and build/run/test the provers. Check the README for instructions.