A basic counterexample finder using semantic tableaux - View it on GitHub