Interfaces definition for logic solver