Remove unused logical def classes
Add travis configuration