/SICStusPrologFuzzer

SICStus Prolog Fuzzer - including an extension to generate predicates and expressions in (Event-)B represented as abstract syntax trees

Primary LanguageProlog

Stargazers