Property-Based Tests - Entrenar - Training & Optimization Library