package com.naveensundarg.shadow.prover.examples;

import com.naveensundarg.shadow.prover.core.ccprovers.CognitiveCalculusProver;

public class TAI_AEGAP {


    public static void main(String[ ] args) throws Exception {



        Example.run(new CognitiveCalculusProver(), "taiaegap.clj");
    }
}
