Build Status

Pampas Solver -The Relational Logic with Data Model Finder