logical solver now accepts coalitions
coalition fixes
master module for easy importing