GitHub repository: JuanmaCopia/express
Primary language: Java
Description: Express is a tool that automatically generates predicates in the form of executable routines.