jayarajporoor/ccl-model-checker

Cloud configuration logic model checker - Prolog (XSB Prolog)