Carneades Engine from master branch added