GitHub repository: rla/rdet
Primary language: Prolog
Created: 2015-11-02T22:12:00Z
Description: Runtime determinacy checker for SWI-Prolog