Configuration

The framework is functional right after running the setup script, though further configuration is required in order to perform evaluations.

• Datasets
  • Sample directory structure
• Reasoners
  • Output format
    • Classification
    • Consistency
    • Matchmaking
  • Java SE integration
  • Mobile integration
    • Android
    • iOS
• Energy probes